Fondation des Langages de Programmation I
L’objectif de la programmation fonctionnelle est d’imiter le plus possible les fonctions mathematiques. Ces langages sont donc tres differents des langages imperatifs.
En particulier, un langage fonctionel pur n’utilise ni variables ni instruction d’affectement. Il utilise la recursion pour obtenir de la repetition.
Les programmes sont des definitions de fonctions et des specifications d’applications de fonctions.
Les executions sont des evaluations d’applications de fonctions.