Haskell est un
langage de programmation fonctionnel. Il est fondé sur le
lambda-calcul et la
logique combinatoire. Son nom vient du mathématicien et logicien
Haskell Brooks Curry. Il a été créé en
1990 par un comité de chercheurs en théorie des langages intéressés par les langages
fonctionnels et l'
évaluation paresseuse. Le dernier standard est
Haskell 2010 : c'est une version minimale et portable du langage conçue à des fins pédagogiques et pratiques, dans un souci d'interopérabilité entre les implémentations du langage et comme base de futures extensions. Le langage continue d'évoluer rapidement, principalement avec
GHC, constituant ainsi un standard
de facto comprenant de nombreuses extensions.