Functional Programming
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 :
![{\displaystyle Def\ !\equiv eq0\to {\bar {1}};\times \circ [id,!sub1]}](/media/api/rest_v1/media/math/render/svg/6027883a0893e3f64012b12d84fd7e7d79da2dae)
avec :
![{\displaystyle Def\ eq0\equiv eq\circ [id,{\bar {0}}]}](/media/api/rest_v1/media/math/render/svg/3643546df7dfc48d5c4d0e362d39dc42c5c4411b)
![{\displaystyle Def\ sub1\equiv -\circ [id,{\bar {1}}]}](/media/api/rest_v1/media/math/render/svg/cfd4ca9c2f7eeb54ec0e4edee013605a97747621)
