Curry (programming language)

Curry is a declarative programming language, an implementation of the functional logic programming paradigm, and based on the Haskell language. It merges elements of functional and logic programming, including constraint programming integration.

This article is about the programming language Curry (named in honour of a mathematician and logician). For the mathematician and logician, see Haskell Curry. For the computer science technique, see Currying.
Curry
Paradigmfunctional, logic, non-strict, modular
Designed byMichael Hanus, Sergio Antoy, et al.
DeveloperKiel University
Ludwig Maximilian University of Munich
University of Münster
Portland State University
Complutense University of Madrid
Technical University of Madrid
First appeared1995 (1995)
Stable release
3.6.0  / (10 November 2023)
Typing disciplinestatic, strong, inferred
Platformx86-64
OSCross-platform: Linux
LicenseOpen-source
Websitecurry.pages.ps.informatik.uni-kiel.de/curry-lang.org
Major implementations
PAKCS (Prolog target), mcc (C target), KiCS2 (Haskell target)
Influenced by
Haskell, Prolog

It is nearly a superset of Haskell but does not support all language extensions of Haskell. In contrast to Haskell, Curry has built-in support for non-deterministic computations involving search.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.