Haskell (pronunciado //) es un
lenguaje de programación estandarizado multi-propósito puramente
funcional con semánticas no estrictas y
fuerte tipificación estática. Su nombre se debe al lógico estadounidense
Haskell Curry. En Haskell, "una función es un ciudadano de primera clase" del lenguaje de programación. Como lenguaje de programación funcional, el constructor de controles primario es la función. El lenguaje tiene sus orígenes en las observaciones de Haskell Curry y sus descendientes intelectuales.