Haskell

Haskell est un langage de programmation fonctionnel, fondé sur le lambda-calcul et la logique combinatoire.