Curry (programming language): Difference between revisions

Revision as of 19:17, 23 September 2020

Revision as of 10:49, 14 October 2020

Line 19:

|operating_system = portable

|license =

|website = [http://curry-languagelang.org/ Curry]

}}

Line 25:

| author = Michael Hanus (ed.)

| title = Curry: A Truly Integrated Functional Logic Language

| url = http://www.curry-languagelang.org/

}}</ref> is an experimental [[functional logic programming]] language,<ref>{{cite journal

| author = Sergio Antoy and Michael Hanus

Line 145:

==External links==

*[http://www.curry-languagelang.org/ Curry] - The home page of Curry

*[http://www-pssmap.informatik.uni-kiel.de/smap/ Smap] - A web-based execution environment for Curry and Haskell with various example programs

*[http://danae.uni-muenster.de/curry/ MCC] - The Münster Curry Compiler, which uses [[C (programming language)|C]] as the target

*[http://www.informatik.uni-kiel.de/~pakcs/ PAKCS] A major Curry implementation with a WWW interface, which uses [[Prolog (programming language)|Prolog]] as the target

*[http://www-ps.informatik.uni-kiel.de/kics2/ KiCS2] A Curry implementation, which uses [[Haskell (programming language)|Haskell]] as the target

*[httphttps://wikiwww-ps.curryinformatik.uni-languagekiel.orgde/currywiki/documentation/mailing Curry Mailing List]

*[http://www.informatik.uni-kiel.de/~mh Michael Hanus's home page]

* ''[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.524 Purely Functional Lazy Non-deterministic Programming]'' (Fischer, Kiselyov, Shan, 2009), ''[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 (programming language)|Haskell]]); such approach might give the programmer more flexibility in the control over the strategies that—in the case of Curry—are built-in.