Curry: A Functional Logic Programming Language
a year ago
- #programming
- #functional-programming
- #logic-programming
- Curry is a declarative multi-paradigm programming language combining functional and logic programming.
- Features include purely declarative operations, type inference, non-determinism, and free variables.
- Curry supports non-deterministic operations, allowing different values for the same input.
- Free variables denote unknown values and are instantiated during evaluation.
- Curry's development is an international initiative for research and teaching in functional logic languages.
- Ecosystem includes compilers like PAKCS, KiCS2, and MCC.
- The Curry Package Manager (CPM) handles library distribution and version dependencies.
- CurryDoc generates documentation in HTML and LaTeX formats.
- Curr(y)gle is a Curry API search engine similar to Haskell's Hoogle.