Curry is a declarative programming language that merges functional and logic programming into a single functional logic paradigm, extending it with built-in support for constraint programming. Designed by Michael Hanus, Sergio Antoy and others, and first appearing in 1995, Curry is built as a near superset of Haskell, sharing much of its syntax and static, strongly typed foundation, while adding Prolog-style non-deterministic search that Haskell itself lacks. Several implementations translate Curry programs into other host languages, including PAKCS (to Prolog), KiCS2 (to Haskell), MCC (to C) and Curry2Go (to Go), and the reference distribution is released under a BSD 3-clause license.
Facts
Classification
Typing Discipline Typing Discipline First Released Connections
Follows Typing Discipline
Entity-backed identity for the typing discipline value this language already carries as an enum fact, resolved to a concept entity by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The enum fact itself stays on the entity unchanged.
Entity-backed identity for the typing discipline value this language already carries as an enum fact, resolved to a concept entity by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The enum fact itself stays on the entity unchanged.
Licensed Under
Entity-backed identity for the license enum value this item already carries, resolved to a software license concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The license fact itself stays on the item unchanged.
Sources
1. Curry (programming language) (Wikipedia)
Infobox, Typing discipline
Static, strong, inferred
Infobox, License
BSD 3-clause
Infobox, First appeared
1995
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.