Curry (Programmiersprache)

Curry
Basisdaten
Paradigmen:	funktional, logisch, nicht-strikt, modular
Erscheinungsjahr:	1995
Designer:	Michael Hanus, Sergio Antoy et al.
Entwickler:	Christian-Albrechts-Universität zu Kiel
Aktuelle Version	3.8.0 (7. April 2025)
Typisierung:	statisch, stark, inferriert
Wichtige Implementierungen:	PAKCS (mit Prolog-Code als Ergebnis) KiCS2 (mit Haskell-Code als Ergebnis)
Beeinflusst von:	Haskell
Betriebssystem:	portabel
Lizenz:	3-Klausel-BSD
	curry-lang.org

Curry ist eine experimentelle funktionallogische Programmiersprache, die auf Haskell basiert. Sie vereint Elemente der funktionalen und logischen Programmierung, insbesondere Constraintprogrammierung.

Sie erweitert Haskell mit Ausnahme des Überladens mittels Typklassen; sie sind lediglich von einigen Implementierungen als Spracherweiterung enthalten, beispielsweise vom Münster Curry Compiler.

↑ PAKCS Version 3.8.0 (07/04/25).
↑ Michael Hanus (ed.): Curry: A Truly Integrated Functional Logic Language. Abgerufen im 1. Januar 1 (englisch).
↑ Sergio Antoy and Michael Hanus: Functional Logic Programming. In: Communications of the ACM. 53. Jahrgang, Nr. 4. ACM, 2010, S. 74–85, doi:10.1145/1721654.1721675 (englisch, acm.org).
↑ The Münster Curry Compiler: Source CodeA mirror of an experimental branch adding type classes to the Münster Curry compiler is available at . There is also a status page summarizing implemented changes and open issues.

[_0b54b2c6664d37a3-1] PAKCS Version 3.8.0 (07/04/25).

[2] Michael Hanus (ed.): Curry: A Truly Integrated Functional Logic Language. Abgerufen im 1. Januar 1 (englisch).

[3] Sergio Antoy and Michael Hanus: Functional Logic Programming. In: Communications of the ACM. 53. Jahrgang, Nr. 4. ACM, 2010, S. 74–85, doi:10.1145/1721654.1721675 (englisch, acm.org).

[4] The Münster Curry Compiler: Source CodeA mirror of an experimental branch adding type classes to the Münster Curry compiler is available at . There is also a status page summarizing implemented changes and open issues.