Curry (programming language): Difference between revisions

Revision as of 10:14, 14 November 2024

Revision as of 14:55, 12 February 2025

Line 17:

|operating system = [[Cross-platform software|Cross-platform]]: [[Linux]]

|license = [[BSD licenses|BSD]] 3-clause

|website = {{URL|currywww.pages.ps.informatik.uni-kiel.de/curry-lang.org}}

|implementations = [https://www.informatik.unicurry-kiellang.deorg/~pakcs PAKCS] ([[Prolog]] target), [http://danae.uni-muenster.de/curry/ mcc] ([[C (programming language)|C]] target), [httphttps://www-ps.informatik.unicurry-kiellang.deorg/kics2/ KiCS2] ([[Haskell]] target)

|dialects =

|influenced by = [[Haskell]], [[Prolog]]

Line 135:

*[https://cpm.curry-lang.org/ Curry packages] - A collection of software packages for Curry

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

*[httphttps://www.informatik.unicurry-kiellang.deorg/~pakcs/ PAKCS] A major Curry implementation, targets [[Prolog]]

*[httphttps://www-ps.informatik.unicurry-kiellang.deorg/kics2/ KiCS2] A Curry implementation, targets [[Haskell]]

*[https://www-ps.informatik.unicurry-kiellang.deorg/curry2go/ Curry2Go] A Curry implementation, targets [[Go (programming language)|Go]], and supports fair parallel search

*[https://wwwcurry-pslang.informatik.uni-kiel.deorg/currywikivarious/documentationmailinglist/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]]); such approach might give the programmer more flexibility in the control over the strategies that—in the case of Curry—are built-in.