Curry (programming language)
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.
| Paradigm | functional, logic, non-strict, modular |
|---|---|
| Designed by | Michael Hanus, Sergio Antoy, et al. |
| Stable release | |
| Typing discipline | static, strong, inferred |
| OS | Cross-platform |
| Website | Curry |
| Major implementations | |
| PAKCS (with Prolog as the target), mcc (with C as the target), KiCS2 (with Haskell as the target) | |
| Influenced by | |
| Haskell, Prolog | |
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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.