Curry | ||||
---|---|---|---|---|
Paradigma | functioneel programmeren, constraint programming, logisch programmeren | |||
Verschenen | 1995 | |||
Huidige versie | 3.6.0[1] | |||
Typesysteem | type-inferentie, sterke typering, statisch typesysteem | |||
Implementaties | PAKCS Münster Curry Compiler | |||
Beïnvloed door | Haskell, Prolog | |||
Licentie | BSD-licentie van 3 clausules | |||
Website | https://www.curry-language.org/ | |||
|
Curry is een functionele en logische programmeertaal die gebaseerd is op de syntaxis van de functionele programmeertaal Haskell. Curry bevat door deze combinatie kenmerken van functionele talen, zoals luie evaluatie en hogere-ordefuncties, en van logische talen, zoals logische variabelen. De taal is vernoemd naar de Amerikaanse wiskundige en logicus Haskell Brooks Curry.
Er zijn verscheidene implementaties van Curry, zoals PAKCS (Portland Aachen Kiel Curry System) en de Münster Curry Compiler.