Une fonction f du type A−>B associe `a chaque valeur de A une valeur unique de B.
On dit que f prend un argument en A et retourne un résultat en B.
Si x représente un élément de A, fx représente la valeur correspondante en B, c'est `a dire le résultat d'appliquer la fonction f `a x.2 nov. 2004
Haskell a un avantage, la compilation et typage comme vérification de l'exactitude d'un programme (dans une certaine mesure).
Si votre programme Haskell compile, il a de bonnes chances d'avoir déjà éliminé beaucoup de cas douteux.
On évite plus de mauvaises surprises à l'exécution.
Des langages fonctionnels plus récents tels ML (1973), Haskell (1987), OCaml, Erlang, Clean et Oz, CDuce, Scala (2003), F# ou PureScript (2013), Agda (en) sont fortement typés.