Haskell
Haskell est lingua programmandi functionalis pura cum semanticis non intensis, quae nomen mathematici Americani Haskell Brooks Curry (1900-1982) fert. Typis fortibus utitur. Eius maximus progenitor erat Miranda.