Programmation fonctionnelle en Haskell
Comment ecrire une fonction en Haskell ?
On peut aussi écrire ceci : max :: ( Ord a) => a -> (a -> a).
Et le lire ainsi : max prend un a et retourne (c'est le premier -> )) une fonction qui prend un a et retourne un a.
C'est pourquoi le type de retour et les paramètres d'une fonction sont séparés par des flèches.
Quels sont les langages de programmation fonctionnelle ?
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.
Pourquoi utiliser Haskell ?
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.
- En programmation fonctionnelle, une fonction est l'unité de manipulation principale.
En POO, un objet est l'unité de manipulation principale.
La programmation fonctionnelle prend principalement en charge l'abstraction sur les données et l'abstraction sur le comportement.
Haskell est un langage de programmation purement fonctionnel. En cela, il diffère grandement de beaucoup d'autres langages. Les différences qui le distinguent des langages orientés vers le paradigme impératif sont flagrantes : les programmes rédigés en langages impératifs exécutent le déroulement de commandes.