Curry (programming language)
Curry is an experimental functional logic programming language, based on the Haskell language. It merges elements of functional and logic programming, including constraint programming integration. It is nearly a superset of Haskell, lacking support mostly for overloading using type classes, which some implementations provide anyway as a language extension, such as the Münster Curry Compiler.
- Comment
- enCurry is an experimental functional logic programming language, based on the Haskell language. It merges elements of functional and logic programming, including constraint programming integration. It is nearly a superset of Haskell, lacking support mostly for overloading using type classes, which some implementations provide anyway as a language extension, such as the Münster Curry Compiler.
- Designer
- enMichael Hanus, Sergio Antoy, et al.
- Has abstract
- enCurry is an experimental functional logic programming language, based on the Haskell language. It merges elements of functional and logic programming, including constraint programming integration. It is nearly a superset of Haskell, lacking support mostly for overloading using type classes, which some implementations provide anyway as a language extension, such as the Münster Curry Compiler.
- Homepage
- curry-lang.org/
- Hypernym
- Language
- Implementations
- enPAKCS , mcc , KiCS2
- InfluencedBy
- enHaskell and Prolog
- Influenced by
- Haskell (programming language)
- Prolog (programming language)
- Is primary topic of
- Curry (programming language)
- Label
- enCurry (programming language)
- Link from a Wikipage to an external page
- www.informatik.uni-kiel.de/~mh
- www.informatik.uni-kiel.de/~pakcs
- curry-lang.org/
- danae.uni-muenster.de/curry/
- smap.informatik.uni-kiel.de/
- www.curry-lang.org/
- www.informatik.uni-kiel.de/~pakcs/
- www-ps.informatik.uni-kiel.de/kics2/
- www-ps.informatik.uni-kiel.de/currywiki/documentation/mailing
- citeseerx.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.148.524
- citeseerx.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.157.4578
- Link from a Wikipage to another Wikipage
- Algebraic data type
- Breadth-first search
- C (programming language)
- Category:Academic programming languages
- Category:Concurrent programming languages
- Category:Experimental programming languages
- Category:Functional logic programming languages
- Category:Haskell programming language family
- Category:Literate programming
- Category:Nondeterministic programming languages
- Category:Programming languages created in the 1990s
- Confluence (term rewriting)
- Constraint programming
- Depth-first search
- Functional logic programming
- Functional programming
- Haskell (programming language)
- Lazy evaluation
- Logic programming
- Name binding
- Polymorphism (computer science)
- Prolog
- Prolog (programming language)
- Recursive data type
- Referential transparency
- SLD resolution
- Static typing
- Strong typing
- Type inference
- Name
- enCurry
- Name
- enCurry
- OperatingSystem
- enportable
- Page
- curry-lang.org/
- Paradigm
- enfunctional, logic, non-strict, modular
- SameAs
- 1122372914
- 2EbCe
- Curry
- Curry
- Curry (informatica)
- Curry (lenguaje de programación)
- Curry (llenguatge de programació)
- Curry (programmeertaal)
- Curry (Programmiersprache)
- Curry (programming language)
- Curry (程式語言)
- Limbajul de programare Curry
- m.01s0p2
- Q2368856
- کیوری
- Subject
- Category:Academic programming languages
- Category:Concurrent programming languages
- Category:Experimental programming languages
- Category:Functional logic programming languages
- Category:Haskell programming language family
- Category:Literate programming
- Category:Nondeterministic programming languages
- Category:Programming languages created in the 1990s
- Typing
- Static typing
- Strong typing
- Type inference
- WasDerivedFrom
- Curry (programming language)?oldid=1067757338&ns=0
- Website
- http://curry-lang.org/
- WikiPageLength
- 14310
- Wikipage page ID
- 302187
- Wikipage revision ID
- 1067757338
- WikiPageUsesTemplate
- Template:!
- Template:About
- Template:Authority control
- Template:Infobox programming language
- Template:Mono
- Template:Primary sources
- Template:Reflist
- Wordnet_type
- synset-programming language-noun-1