Editing Curry (programming language) (section)

{{Short description|Programming language}}
{{About|the programming language Curry (named in honour of a mathematician and logician)|the mathematician and logician|Haskell Curry|the computer science technique|Currying}}
{{Primary sources|date=July 2019}}
{{Infobox programming language
|name = Curry
|logo = 
|paradigm = [[Functional programming|functional]], [[Logic programming|logic]], non-strict, modular
|designer = Michael Hanus, Sergio Antoy, et al.
|developer = [[Kiel University]]<br/>[[Ludwig Maximilian University of Munich]]<br/>[[University of Münster]]<br/>[[Portland State University]]<br/>[[Complutense University of Madrid]]<br/>[[Technical University of Madrid]]
|released = {{Start date and age|1995}}
|latest release version = {{wikidata|property|reference|edit|P348|P548=Q2804309}}
|latest release date = ({{wikidata|qualifier|P348|P577}})
|latest preview version = 
|latest preview date = 
|typing = [[static typing|static]], [[Strong and weak typing|strong]], [[type inference|inferred]]
|platform = [[x86-64]]
|operating system = [[Cross-platform software|Cross-platform]]: [[Linux]]
|license = [[BSD licenses|BSD]] 3-clause
|website = {{URL|www.curry-lang.org}}
|implementations = [https://www.curry-lang.org/pakcs PAKCS] ([[Prolog]] target), [http://danae.uni-muenster.de/curry/ mcc] ([[C (programming language)|C]] target), [https://www.curry-lang.org/kics2/ KiCS2] ([[Haskell]] target)
|dialects = 
|influenced by = [[Haskell]], [[Prolog]]
|influenced =
}}

'''Curry''' is a [[declarative programming]] language, an implementation of the [[functional logic programming]] paradigm,<ref>{{cite web |editor-last=Hanus |editor-first=Michael |title=Curry: A Truly Integrated Functional Logic Language |url=http://www.curry-lang.org/}}</ref><ref>{{cite journal |last1=Sergio |first1=Antoy |last2=Hanus |first2=Michael |year=2010 |title=Functional Logic Programming |journal=Communications of the ACM |volume=53 |issue=4 |pages=74–85 |publisher=ACM |doi=10.1145/1721654.1721675 |s2cid=14578759}}</ref> and based on the [[Haskell]] language. It merges elements of functional and logic programming,<ref name="Curry and Curl programming languages">
{{cite web |title=Curry experimental programming language |url=https://www.mvps.net/docs/curry-and-curl-programming-languages |website=MVPS.net |access-date=2 September 2021}}</ref> 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.