Haskell

Haskell est un langage de programmation statistiquement typé qui vous permet de profiter d'une forme de sécurité au cours de l'écriture de votre code puisque les types sont déterminés à la compilation, et les erreurs de types détectées automatiquement. Par ailleurs, recourant à l'inférence des types, Haskell dispose d'un compilateur déterminant tout seul le type des fonctions, variables et arguments. De la sorte, vous pouvez vous épargner la rédaction fastidieuse de types.

Haskell s'impose comme un langage différents des autres dans la mesure où il cumule d'autres particularité. Il s'agit en effet d'un langage fonctionnel, ce qui permet de créer des transformations complexes en appliquant une fonction à une autre fonction. Haskell est également un langage paresseux, c'est-à-dire que les calculs ne sont réalisés que lorsque le résultat est nécessaire. Par conséquent, il est possible de manipuler des structures de données infinies comme on manipulerait des structures de données finies.

Enfin, les fonctions utilisées par Haskell sont dites pures, c'est-à-dire qu'elle ne peuvent jamais apporter de modification à l'environnement extérieur et doivent renvoyer le même résultats pour un même argument attribué. Par là même, les fonctions pouvant interagir avec l'environnement extérieur sont typées spécialement, et ne peuvent être utilisées à la place d'une fonction pure.