Haskell es un moderno lenguaje estándar de programación puramente funcional, no-estricto. Ofrece todas las características explicadas arriba, incluyendo tipado polimórfico, evaluación perezosa y funciones de primera clase. También posee un innovador sistema de tipo el cual soporta una forma sistemática de sobrecarga y un sistema de módulos.
Está especialmente diseñado para manejar una amplia gama de aplicaciones, desde análisis numérico hasta simbólico.
Para alcanzar estos objetivos, Haskell posee una sintaxis expresiva, y una rica variedad de tipos primitivos, incluyendo enteros y racionales de precisión arbitraria, también como los tipos de enteros, punto flotante y booleanos más convencionales.
Hay una amplia variedad de compiladores e intérpretes disponibles. Todos son gratuitos. Los nuevos usuarios pueden comenzar con Hugs, un pequeño, y portable intérprete Haskell.
