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
In Field
Source Curry (programming language) (Wikipedia)
Licensed Under
Sources
1. Curry (programming language) (Wikipedia)
Infobox, Typing discipline
Static, strong, inferred
Infobox, License
BSD 3-clause
Infobox: released
1995
In Field: Programming Language Theory, Lead
Curry is a declarative programming language, an implementation of the functional logic programming paradigm, and based on the Haskell language.
In Group: Declarative Research Languages, Lead
Curry is a declarative programming language, an implementation of the functional logic programming paradigm, and based on the Haskell language.
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.