Curry (programming language)
Programming language / From Wikipedia, the free encyclopedia
This article is about the programming language Curry (named in honour of a mathematician and logician). For the mathematician and logician, see Haskell Curry. For the computer science technique, see Currying.
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.
Quick Facts Paradigm, Designed by ...
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; 29 years ago (1995) |
Stable release | |
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 |
Close
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.