&sq=Envato&lang=en&file=File:Question_book-new.svg){kind=small} |
| Paradigm | functional, logic, non-strict, modular |
|---|---|
| Designed by | Michael Hanus, Sergio Antoy, et al. |
| Developer | Kiel University Ludwig Maximilian University of Munich University of Münster Portland State University Complutense University of Madrid Technical University of Madrid |
| First appeared | 1995 |
| Stable release | 3.6.0[1] 
/ (10 November 2023) |
| Typing discipline | static, strong, inferred |
| Platform | x86-64 |
| OS | Cross-platform: Linux |
| License | BSD 3-clause |
| Website | curry |
| Major implementations | |
| PAKCS (Prolog target), mcc (C target), KiCS2 (Haskell target) | |
| Influenced by | |
| Haskell, Prolog | |
Curry is a declarative programming language, an implementation of the functional logic programming paradigm,[2][3] and based on the Haskell language. It merges elements of functional and logic programming,[4] including constraint programming integration.
It is nearly a superset of Haskell but does not support all language extensions of Haskell. In contrast to Haskell, Curry has built-in support for non-deterministic computations involving search.
- ^ "Current release:PAKCS Version 3.6.0 (10/11/23)". 10 November 2023. Retrieved 14 November 2023.
- ^ Hanus, Michael (ed.). "Curry: A Truly Integrated Functional Logic Language".
- ^ Sergio, Antoy; Hanus, Michael (2010). "Functional Logic Programming". Communications of the ACM. 53 (4). ACM: 74–85. doi:10.1145/1721654.1721675. S2CID 14578759.
- ^ "Curry experimental programming language". MVPS.net. Retrieved 2 September 2021.