Curry (programming language): Difference between revisions

Revision as of 13:23, 14 November 2023

Revision as of 14:34, 10 March 2024

Line 5:

|name = Curry

|logo =

|paradigm = [[functionalFunctional programming|functional]], [[logicLogic programming|logic]], non-strict, modular

|designer = Michael Hanus, Sergio Antoy, et al.

|developer = [[Kiel University]]<br/>[[Ludwig Maximilian University of Munich]]<br/>[[University of Münster]]<br/>[[Portland State University]]<br/>[[Complutense University of Madrid]]<br/>[[Technical University of Madrid]]

|developer =

|released = {{Start date and age|1995}}

|latest release version = {{wikidata|property|reference|edit|P348|P548=Q2804309}}

|latest release date = ({{wikidata|qualifier|P348|P577}})

Line 14:

|latest preview date =

|typing = [[static typing|static]], [[Strong and weak typing|strong]], [[type inference|inferred]]

|platform = [[x86-64]]

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

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

|license = [[Open-source software|Open-source]]

|website = [https://{{URL|curry.pages.ps.informatik.uni-kiel.de/curry-lang.org/ Curry]}}

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

|dialects =

|influenced =

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

|influenced =

|operating_system = [[Cross-platform software|Cross-platform]]

|license =

|website = [https://curry.pages.ps.informatik.uni-kiel.de/curry-lang.org/ Curry]

}}

Line 133 ⟶ 134:

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

*[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, which usestargets [[C (programming language)|C]] as the target

*[http://www.informatik.uni-kiel.de/~pakcs/ PAKCS] A major Curry implementation, which usestargets [[Prolog]] as the target

*[http://www-ps.informatik.uni-kiel.de/kics2/ KiCS2] A Curry implementation, which usestargets [[Haskell]] as the target

*[https://www-ps.informatik.uni-kiel.de/curry2go/ Curry2Go] A Curry implementation, which usestargets [[Go_Go (programming_languageprogramming language)|Go]] as the target, and supports fair parallel search

*[https://www-ps.informatik.uni-kiel.de/currywiki/documentation/mailing Curry Mailing List]

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

Line 148 ⟶ 149:

[[Category:Functional logic programming languages]]

[[Category:Haskell programming language family]]

[[Category:Articles with example Haskell code]]

[[Category:Programming languages created in the 1990s]]

[[Category:Nondeterministic programming languages]]

[[Category:Literate programming]]

[[Category:Academic programming languages]]

<!-- Hidden categories below -->

[[Category:Articles with example Haskell code]]