Curry (Programmiersprache)

Curry
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.6.0[1] (10. November 2023)
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[2] ist eine experimentelle funktionallogische Programmiersprache,[3] 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.[4]

  1. Current release:PAKCS Version 3.6.0 (10/11/23). 10. November 2023 (abgerufen am 14. November 2023).
  2. Michael Hanus (ed.): Curry: A Truly Integrated Functional Logic Language. Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
  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 (acm.org). Vorlage:Cite journal: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
  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 [1]. There is also a status page summarizing implemented changes and open issues.

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne