Functional Programming

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).

La fonction factorielle s'écrira :

$Def\ !\equiv eq0\to {\bar {1}};\times \circ [id,!sub1]$

avec :

$Def\ eq0\equiv eq\circ [id,{\bar {0}}]$

$Def\ sub1\equiv -\circ [id,{\bar {1}}]$