Curry

Curry je programovací jazyk založený na paradigmatu funkcionálního programování. Vytvořil ho David Curry se svým týmem na univerzitě v Manchesteru na počátku 80. let 20. století. Curry je staticky typovaný jazyk vyššího řádu, který podporuje líné vyhodnocování a porovnávání vzorů. Má také silný základ v logice, což z něj činí vhodnou volbu pro vývoj provertorů teorémů a dalších podobných aplikací.