Définition

Un langage de programmation purement fonctionnel avec un typage statique fort, l'inférence de types et l'évaluation paresseuse. Haskell est connu pour sa rigueur mathématique, son puissant système de types incluant les monades, et est utilisé dans le milieu académique, la finance et le développement de compilateurs.

Terme défini