Functional Programming
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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 fact = eq0 -> ~1 ; * o [ id, fact o sub1 ]
avec :
Def eq0 = eq o [ id, ~0 ]
Def sub1 = - o [ id, ~1 ]
