Le , abrégé FP, est un langage créé par John Backus en 1977 dans son article , .
La fonction factorielle s'y écrit :
Def fact = eq0 -> ~1 ; * o [ id, fact o sub1 ]
avec :
Def eq0 = eq o [ id, ~0 ]
Def sub1 = - o [ id, ~1 ]
Vue d'ensemble
Il existe plusieurs types de valeurs atomiques : booléens, entiers (positifs), caractères, symboles...
Étant donné des valeurs x1, …, xn, la suite <x1, …, xn> est elle-même une valeur pour le langage.
⊥ (« antitruc ») est la valeur « indéfini » ; elle est absorbante par formation de suite : si une suite comporte la valeur ⊥, alors elle est évaluée à ⊥.
Une fonction f transforme une valeur x en une autre, dénotée f:x.
Toute fonction est , c'est-à-dire que si x s'évalue à ⊥, alors f:x = ⊥.
Fonctionnelles
Une fonctionnelle est une fonction opérant sur d'autres fonctions.
Exemples : unit ; composition ; construction ; condition ; apply-to-all ; insert-right ; insert-left.
Voir aussi Programmation fonctionnelle Logique combinatoire
Bibliographie Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, John Backus Hague, James (December 28, 2007). "Functional Programming Archaeology". Programming in the Twenty-First Century. Sacrificing simplicity for convenience: Where do you draw the line?, John H. Williams and Edward L. Wimmers, IBM Almaden Research Center Systems programming in the functional language FP, Jin Lingzi & Zhu Hong, Journal of Computer Science and Technology, 1988.
Liens externes
Catégorie:Langage fonctionnel