Curry

Website: Curry

Proiectat de: Michael Hanus, Sergio Antoy, et al.

Curry este un limbaj experimental de programare logică funcțională, bazat pe limbajul Haskell.

Fuzionează elemente de programare funcțională și logică, inclusiv integrarea programării constrângerii.

Este aproape un superset al lui Haskell, lipsit de sprijin mai ales pentru supraîncărcarea folosind clase de tip, pe care unele implementări le oferă oricum ca o extensie de limbă, cum ar fi compilatorul Münster Curry.