# Curry

> programming language

**Wikidata**: [Q2368856](https://www.wikidata.org/wiki/Q2368856)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Curry_(programming_language))  
**Source**: https://4ort.xyz/entity/curry

## Summary
Curry is a functional and logic programming language developed in 1995 by Kiel University. It is named after mathematician Haskell Curry and supports paradigms including functional, logic, and constraint programming. The language is statically and strongly typed, with inference capabilities, and is licensed under the 3-clause BSD License.

## Key Facts
- **Inception**: 1995
- **Developer**: Kiel University
- **Named after**: Haskell Curry
- **License**: 3-clause BSD License
- **Typing discipline**: Inference typing, strong typing, static typing
- **Programming paradigms**: Functional, logic, constraint programming
- **Latest stable version**: 3.8.0 (released 2025-04-07)
- **Previous versions**: 3.6.0 (2023-11-10), 3.5.1 (2023-03-13), 0.9.0 (2016-01-13)
- **Website**: [https://www.curry-lang.org/](https://www.curry-lang.org/)
- **Logo**: [https://commons.wikimedia.org/wiki/Special:FilePath/Curry_logo.svg](https://commons.wikimedia.org/wiki/Special:FilePath/Curry_logo.svg)
- **Aliases**: Lenguaje Curry
- **Influenced by**: Haskell, Prolog
- **Different from**: Curry powder, the dish curry, and the surname Curry
- **Wikipedia title**: Curry (programming language)
- **Wikipedia languages**: Available in 14 languages (ca, de, en, es, fa, it, ja, ko, nl, ro, ru, tg, uk, zh)

## FAQs
- **What is Curry (the programming language)?** Curry is a multi-paradigm programming language that combines functional, logic, and constraint programming paradigms. It is named after mathematician Haskell Curry and is statically and strongly typed with inference capabilities.
- **Who developed Curry?** Curry was developed by Kiel University, with the first version released in 1995.
- **What are the key features of Curry?** Key features include support for functional, logic, and constraint programming, static and strong typing with inference, and a 3-clause BSD License.
- **What is the latest version of Curry?** The latest stable version is 3.8.0, released on 2025-04-07.
- **What is Curry named after?** Curry is named after mathematician Haskell Curry, reflecting its functional programming roots.
- **What are the supported programming paradigms in Curry?** Curry supports functional, logic, and constraint programming paradigms.
- **What is the license for Curry?** Curry is licensed under the 3-clause BSD License.
- **What are the typing disciplines in Curry?** Curry uses inference typing, strong typing, and static typing.

## Why It Matters
Curry is significant in the programming language landscape as it uniquely combines functional, logic, and constraint programming paradigms. Its development by Kiel University in 1995 contributed to the evolution of declarative programming languages. The language's strong and static typing with inference capabilities makes it suitable for applications requiring both functional and logic programming features. Its open-source nature, under the 3-clause BSD License, fosters community contributions and adoption. Curry's influence extends to academic research and practical applications, demonstrating the versatility of declarative programming paradigms.

## Notable For
- **Named after Haskell Curry**: The language is named after the mathematician Haskell Curry, highlighting its functional programming heritage.
- **Multi-paradigm support**: Curry uniquely combines functional, logic, and constraint programming paradigms.
- **Static and strong typing with inference**: The language's typing discipline supports both functional and logic programming needs.
- **Open-source licensing**: The 3-clause BSD License promotes community adoption and contributions.
- **Developed by Kiel University**: The language's origins trace back to academic research at Kiel University.

## Body
### History
Curry was developed by Kiel University in 1995. The language is named after mathematician Haskell Curry, reflecting its functional programming roots. The first version, 0.9.0, was released in 2016, followed by subsequent updates including versions 3.5.1 (2023-03-13) and 3.6.0 (2023-11-10). The latest stable version, 3.8.0, is scheduled for release on 2025-04-07.

### Development and Influences
Curry was influenced by Haskell and Prolog, incorporating elements from both functional and logic programming paradigms. The language's development was driven by academic research at Kiel University, contributing to the evolution of declarative programming languages.

### Features and Typing
Curry supports functional, logic, and constraint programming paradigms. The language is statically and strongly typed, with inference capabilities, making it suitable for applications requiring both functional and logic programming features. The typing disciplines include inference typing, strong typing, and static typing.

### Licensing and Community
Curry is licensed under the 3-clause BSD License, promoting open-source adoption and community contributions. The language's website, [https://www.curry-lang.org/](https://www.curry-lang.org/), serves as a resource for developers and researchers.

### Related Entities
Curry is distinct from curry powder, the dish curry, and the surname Curry. It is classified as a functional programming language and a logic programming language, with additional classifications including purely functional programming language and multi-paradigm programming language.

### Wikipedia and Language Support
The Wikipedia page for Curry (programming language) is available in 14 languages, including Catalan, German, English, Spanish, Persian, Italian, Japanese, Korean, Dutch, Romanian, Russian, Tajik, Ukrainian, and Chinese. The page has 14 sitelinks, indicating its widespread recognition and documentation.

### Technical Details
The logo for Curry is available at [https://commons.wikimedia.org/wiki/Special:FilePath/Curry_logo.svg](https://commons.wikimedia.org/wiki/Special:FilePath/Curry_logo.svg). The language's aliases include Lenguaje Curry. The website is available in English, with references indicating its reliability. The language's development and documentation are maintained by Kiel University.

## References

1. [Source](https://www-ps.informatik.uni-kiel.de/currywiki/_media/documentation/report.pdf)
2. [Current release:PAKCS Version 3.5.1 (13/03/23). 2023](https://www.informatik.uni-kiel.de/~pakcs/download.html)
3. [Current release:PAKCS Version 3.6.0 (10/11/23). 2023](https://www.informatik.uni-kiel.de/~pakcs/download.html)
4. [PAKCS Version 3.8.0 (07/04/25)](https://www.curry-lang.org/pakcs/download.html)
5. Freebase Data Dumps. 2013
6. [OpenAlex](https://docs.openalex.org/download-snapshot/snapshot-data-format)