Curry is an experimental functional logic programming language, based on the Haskell language. It merges elements of functional and logic programming, including constraint programming integration.
| Curry | |
|---|---|
| Paradigm | functional, logic, non-strict, modular |
| Designed by | Michael Hanus, et al |
| Typing discipline | static, strong, inferred |
| OS | portable |
| Website | Curry |
| Major implementations | |
| PAKCS, mcc | |
It is nearly a superset of Haskell, lacking support mostly for overloading using type classes, which some implementations provide anyway as a language extension, such as the Münster Curry Compiler.
External links
 | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |