MINI-MANUEL DE PROGRAMMATION FONCTIONNELLE

Comment assimiler les concepts du mode fonctionnel et bénéficier de ses avantages pour écrire des programmes de qualité dans tout langage de programmation le permettant? Conçus pour faciliter aussi bien l'apprentissage que la révision, les Mini Manuels proposent un cours concis et progressif pour vous accompagner jusqu'à l'examen. Des exemples, des conseils et des méthodes pour concevoir un programme, ainsi que de nombreux exercices, tous corrigés, pour mettre les connaissances en pratique. Au sommaire: 1: Introduction: Quelques termes courants en programmation; Modèles; Significations du mot "variable". 2: Programmer avec des fonctions: Notions élémentaires; Définir une fonction; Fonctions plus complexes; Quelques facilités dans les langages. 3: Récursivité: Introduction; Définition récursive; Inventer une définition récursive; Récursivité et preuve. 4: Types: Introduction; La notion de type dans les langages fonctionnels; Les langages faiblement/fortement typés; Les constructeurs de types "produit" et "flèche". 5: Types structurés: Introduction; Types abstraits algébriques; Quelques catégories de types structurés; Types structurés polymorphes. 6: Schémas de programmes: Introduction; Toujours le même schéma; Capturer un schéma de programmes; Schéma reduce. 7: Lambda-calcul: Introduction; Syntaxe du lambda-calcul; Signification des lambda-expressions; Notion de réduction.