Programmation fonctionnelle, générique et objet : une introduction avec le langage OCaml

Longtemps associés aux aspects les plus mathématiques, théoriques et formels de la programmation dans les cursus universitaires, les langages fonctionnels ne se limitent plus aujourd'hui à aucun domaine d'application et à aucune taille de projet logiciel. Ils proposent désormais des constructions variées, des systèmes de types à la puissance inégalée, intègrent les notions de modules et de classes et sont compilés aussi efficacement que les langages impératifs classiques (comme Ada, C, C++, ou Java), tout en fournissant souvent de meilleures solutions, plus adaptables, plus réutilisables, plus sûres et plus rapidement développées. Cet ouvrage se concentre donc sur l'intérêt pratique des langages fonctionnels, illustrés par le langage OCaml. Sont abordés : l'analyse automatique renforcée des programmes, les techniques de programmation fonctionnelle, la programmation fonctionnelle générique (mise en oeuvre de foncteurs ou fonctions de modules), ainsi que la programmation objet dans les cadres fonctionnel et générique.