Curry

Curry je programovací jazyk založený na paradigme funkcionálneho programovania. Vytvoril ho David Curry a jeho tím na univerzite v Manchestri začiatkom 80. rokov 20. storočia. Curry je staticky typovaný jazyk vyššieho rádu, ktorý podporuje lenivé vyhodnocovanie a porovnávanie vzorov. Má tiež silný základ v logike, vďaka čomu je vhodnou voľbou na vývoj overovačov tvrdení a iných podobných aplikácií.