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.
Foundations of Functional Logic Programming
Basic Concepts
A functional program is a set of functions defined by equations or rules. A functional computation consists of replacing subexpressions by equal (w.r.t. the function definitions) subexpressions until no more replacements (or reductions) are possible and a value or normal form is obtained. For instance, consider the function double defined by
double x = x+x
Narrowing
External links
 | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |