Functional Programming
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
Abrégé FP, ce langage fut révélé par John Backus en 1977 dans son article intitulé Can programming be liberated from the von Neumann style ? : a functional style and its algebra of programs (La programmation peut-elle être libérée du modèle von Neumann ? : un modèle fonctionnel et son algèbre des programmes).
La fonction factorielle s'écrira :
![Def\ ! \equiv eq0 \to \bar{1}; \times \circ [id, !sub1]](../../../../math/2/4/3/2436e828bb4999bf0f1e1d4fa48434b1.png)
avec :
![Def\ eq0 \equiv eq \circ [id, \bar{0}]](../../../../math/8/f/8/8f8d8452d7bfa518cee5563898bd090c.png)
![Def\ sub1 \equiv - \circ[id, \bar{1}]](../../../../math/5/3/b/53bf6844415b41d0230f1e8a44ef2246.png)
