Quelltext der Seite Curry (Programmiersprache)

{{Infobox Programmiersprache
| Name = Curry
| Logo = 
| Paradigma = [[Funktionale Programmierung|funktional]], [[Logische Programmierung|logisch]], nicht-strikt, [[Modulare Programmierung|modular]]
| Erscheinungsjahr = 
| Designer = Michael Hanus, Sergio Antoy, et al.
| Entwickler = 
| Typisierung = [[Statische Typisierung|statisch]], [[Starke Typisierung|stark]], [[Typinferenz|inferriert]]
| Implementierung = [https://www.informatik.uni-kiel.de/~pakcs/ PAKCS] (mit [[Prolog (Programmiersprache)|Prolog]]-Code als Ergebnis) [https://www-ps.informatik.uni-kiel.de/kics2/ KiCS2] (mit [[Haskell (Programmiersprache)|Haskell]]-Code als Ergebnis)
| Beeinflusste =
| Beeinflusst_von = [[Haskell (Programmiersprache)|Haskell]]
| Betriebssystem = portabel
| Lizenz =
| Website = [http://curry-lang.org/ curry-lang.org]
}}
'''Curry'''<ref>{{cite web
 | author = Michael Hanus (ed.)
 | title = Curry: A Truly Integrated Functional Logic Language
 | url = http://www.curry-lang.org/
}}</ref> ist eine experimentelle [[Funktionallogische Programmierung|funktionallogische Programmiersprache]],<ref>{{cite journal
 | author = Sergio Antoy and Michael Hanus
 | title = Functional Logic Programming
 | journal = Communications of the ACM
 | volume = 53
 | issue = 4
 | pages = 74–85
 | publisher = ACM
 | year = 2010
 | url = http://doi.acm.org/10.1145/1721654.1721675
 | doi = 10.1145/1721654.1721675
}}</ref> die auf [[Haskell (Programmiersprache)|Haskell]] basiert. Sie vereint Elemente der funktionalen und logischen Programmierung, insbesondere [[Constraintprogrammierung]].

Sie erweitert Haskell mit Ausnahme des [[Überladen]]s mittels [[Typklasse (Informatik)|Typklassen]]; sie sind lediglich von einigen Implementierungen als Spracherweiterung enthalten, beispielsweise vom [[Westfälische Wilhelms-Universität|Münster]] Curry [[Compiler]].<ref>[http://danae.uni-muenster.de/curry/ The Münster Curry Compiler]: [http://danae.uni-muenster.de/curry/mcc.html#source Source Code]''A mirror of an experimental branch adding type classes to the Münster Curry compiler is available at [https://hub.darcs.net/wlux/type-classes]. There is also a [http://danae.uni-muenster.de/curry/darcs/STATUS/index.html status page] summarizing implemented changes and open issues.''</ref>
<!--WICHTIGER HINWEIS:  Solange noch kein wiki-seitiges Syntax-Highlight für Curry vorliegt, bitte nicht Haskell-Syntax-Highlight verwenden.-->

== Grundlagen ==
Es gibt keine Seiteneffekte im Gegensatz zu prozeduralen, objektorientierten oder den meisten anderen imperativen Sprachen. Daher spielt die Reihenfolge, in der Teilausdrücke ausgewertet werden, keine Rolle für den Wert des Ergebnisses. Ferner gibt es konzeptionell keine Funktionen mehr, an ihre Stelle treten [[Relation (Mathematik)|Relationen]] mit Funktionscharakter, sog. [[Korrespondenz (Mathematik)|Korrespondenzen]]. Im Gegensatz zu Funktionen sind diese nicht notwendig [[Relation (Mathematik)#Eigenschaften zweistelliger Relationen|rechtseindeutig]], das heißt für eine bestimmte Eingabe müssen sie nicht genau ein Ergebnis haben, insbesondere sind sie von vornherein partiell. Dadurch ist es möglich, nicht nur [[Konstruktor]]en, sondern auch Funktionsaufrufe beim [[Pattern Matching]] einzusetzen, die die darin vorkommenden Variablen nicht notwendigerweise eindeutig belegen. Das wird durch [[Determinismus|nicht-deterministische]] [[Bedarfsauswertung]] sinnvoll ergänzt.

{{Siehe auch|Funktionallogische Programmierung}}

== Strategien ==
Da es keine Seiteneffekte gibt, kann in einem funktionallogischen Programm mit beliebigen Strategien ausgewertet werden. Um Ausdrücke auszuwerten verwenden die meisten Curry-Compiler eine Variante des {{lang|en|''needed narrowing,''}} das Bedarfsauswertung mit nicht-deterministischen Suchtechniken verbindet. Im Gegensatz zu Prolog, das [[Backtracking|Rücksetzverfahren]] auf der Suche nach Lösungen verwendet, beschränkt sich Curry nicht auf eine bestimmte Strategie. Vielmehr gibt es Implementierungen von Curry, wie [http://www-ps.informatik.uni-kiel.de/kics2/ KiCS2], bei denen der Benutzer auf einfache Weise eine Strategie auswählen kann; unter anderem [[Tiefensuche]], [[Breitensuche]], iteratives Vertiefen oder paralleles Suchen.

== Weblinks ==
* [http://www.curry-lang.org/ Curry] — Die Homepage von Curry (englisch)
* [http://www-ps.informatik.uni-kiel.de/smap/smap.cgi?new/curry Smap] — Eine webbasierte Ausführungsumgebung für Curry und Haskell mit vielen Beispielprogrammen (englisch)
* {{Webarchiv | url=http://danae.uni-muenster.de/~lux/curry/ | wayback=20070116045147 | text=MCC}} — Der Münster Curry Compiler, der [[C (Programmiersprache)|C]]-Code generiert
* [http://www.informatik.uni-kiel.de/~pakcs/ PAKCS] — Eine größere Curry-Implementierung mit WWW-Interface, das [[Prolog (Programmiersprache)|Prolog]]-Code generiert (englisch)
* [http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/ KiCS], [http://www-ps.informatik.uni-kiel.de/kics2/ KiCS2] — Eine Curry-Implementierung, die Haskell-Code generiert (englisch)
* [https://www-ps.informatik.uni-kiel.de/currywiki/documentation/mailing Curry Mailing List] (englisch)
* [http://www.informatik.uni-kiel.de/~mh Homepage von Michael Hanus] (englisch)
* ''[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.524 Purely Functional Lazy Non-deterministic Programming]'' (Fischer, Shan), ''[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.4578 Transforming Functional Logic Programs into Monadic Functional Programs]'' (Braßel, Fischer, Hanus, Reck, 2010) on modeling lazy non-deterministic (logic) programming (like in Curry) in a purely functional language ([[Haskell (Programmiersprache)|Haskell]]); such approach might give the programmer more flexibility in the control over the strategies that—in the case of Curry—are built-in.

== Belege ==
<references />

{{Normdaten|TYP=s|GND=1122372914}}

<!-- [[Kategorie:Concurrent programming languages]] -->
<!-- [[Kategorie:Funktionale logische Programmiersprachen]] -->
[[Kategorie:Funktionale Programmiersprache]]
[[Kategorie:Logische Programmiersprache]]
[[Kategorie:Haskell (Programmiersprache)]]
<!-- [[Kategorie:Nondeterministic programming languages]] -->
<!-- [[Kategorie:Literate programming]] -->
<!-- [[Kategorie:Academic programming languages]] -->