Ceci est une version archivée de cette page, en date du 24 juin 2005 à 20:20 et modifiée en dernier par Sador(discuter | contributions)(+ lien portail). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
Abbré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).
![{\displaystyle Def\ !\equiv eq0\to {\bar {1}};\times \circ [id,!sub1]}](/media/api/rest_v1/media/math/render/svg/6027883a0893e3f64012b12d84fd7e7d79da2dae)
![{\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)