Curry (programming language)

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
Paradigm	Functional, logic, non-strict, modular
Designed by	Michael Hanus, Sergio Antoy, et al.
Developer	Kiel University LMU Munich University of Münster Portland State University Complutense University of Madrid Technical University of Madrid
First appeared	1995 (1995)
Stable release	3.8.0  / (7 April 2025)
Typing discipline	Static, strong, inferred
Platform	x86-64
OS	Cross-platform: Linux
License	BSD 3-clause
Website	www.curry-lang.org
Major implementations
PAKCS (Prolog target), mcc (C target), KiCS2 (Haskell target)
Influenced by
Haskell, Prolog

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.

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.