Curry (programming language)
| Curry | |
|---|---|
| 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
/ (10 November 2023) |
| Typing discipline | static, strong, inferred |
| Platform | x86-64 |
| OS | Cross-platform: Linux |
| License | BSD 3-clause |
| Website | www |
| 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, and based on the Haskell language. It merges elements of functional and logic programming, 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.