Programmation fonctionnelle

La programmation fonctionnelle est un paradigme de programmation, c’est-à-dire un mode de
programmation et aussi une démarche indépendante de tout langage de programmation, permettant de
construire un programme résolvant un problème donné. Ce mode de programmation est fondé sur une
théorie mathématique éprouvée, celle des fonctions, du lambda-calcul et des systèmes de type. Les
concepts présentés sont donc fondamentaux et peuvent resservir pour répondre à d’autres questions liées
à la programmation (certification de programmes, sémantique des langages, compilation, parallélisme,
etc.).
La programmation fonctionnelle est de plus en plus présente et facilitée dans les langages. Même les
langages traditionnels sont étendus pour permettre le mode fonctionnel comme en témoigne
l’introduction es fonctions anonymes (ou lambda-expressions) dans C++ (depuis la norme C++ 11) et
Java 8. Les langages fonctionnels purs s’imposent de plus en plus comme une alternative sérieuse aux
langages traditionnels non purs