cours1 November 3, 2020 1 Programmation fonctionnelle 1.1 Semaine 1 : Programmer avec des fonctions Etienne Lozes - Université Nice Sophia Antipolis - 2019 <img src=“img/functionfactory1.jpg” width=“20%”./> 1.2 Calculer et programmer 1.2.1 Les deux grands...
More
cours1 November 3, 2020 1 Programmation fonctionnelle 1.1 Semaine 1 : Programmer avec des fonctions Etienne Lozes - Université Nice Sophia Antipolis - 2019 <img src=“img/functionfactory1.jpg” width=“20%”./> 1.2 Calculer et programmer 1.2.1 Les deux grands modèles de calcul historiques sont • les machines de Turing (1936) • le lambda calcul (1936 aussi), inventé par Alonzo Church, le directeur de thèse de Turing 1.2.2 Ces deux modèles correspondent à deux grandes familles de langages de pro- grammation • la programmation impérative (~ machines de Turing). On décrit comment calculer par des suites d’opérations • la programmation fonctionnelle (~ le lambda calcul). On décrit quoi calculer à l’aide de fonctions. Remarque: la programmation fonctionnelle, en ce sens, est déclarative. Un autre exemple de programmation déclarative est la programmation logique (Prolog). 1.3 Où rencontre-t-on la programmation fonctionnelle? Dans les langages fonctionnels, évidemment, mais pas seulement… - dans d
Less
