Ce livre explore en profondeur le paradigme de la programmation fonctionnelle, en mettant l'accent sur la rigueur mathématique et l'application pratique des concepts. Il ne se limite pas à l'apprentissage d'un langage spécifique, mais cherche à donner une compréhension fondamentale des principes et des avantages de la programmation fonctionnelle. Principaux thèmes abordés : Principes fondamentaux de la programmation fonctionnelle : Fonctions pures, immuabilité, transparence référentielle, fonctions d'ordre supérieur, curryfication. L'auteur explique en détail les concepts clés qui distinguent la programmation fonctionnelle des autres paradigmes. Spécification formelle : Utilisation de techniques mathématiques (logique, types) pour spécifier précisément le comportement des programmes fonctionnels. Il insiste sur l'importance de la spécification pour la vérification, la validation et la maintenance des programmes. Types de données algébriques (TDA) : Définition et manipulation de types de données complexes en utilisant des équations et des règles d'inférence. Il montre comment les TDA peuvent être utilisés pour modéliser des problèmes de manière élégante et concise. Preuves de programmes : Introduction aux techniques de preuve formelle pour démontrer la correction des programmes fonctionnels. Structures de données fonctionnelles : Implémentation de structures de données efficaces et immuables (listes, arbres, etc.) en utilisant des techniques de programmation fonctionnelle. Monades : Exploration du concept de monades pour gérer les effets de bord (entrée/sortie, état) de manière contrôlée dans un environnement purement fonctionnel. Applications : Présentation d'exemples concrets d'applications de la programmation fonctionnelle dans divers domaines (compilation, analyse statique, traitement du langage naturel, etc.). Le livre est conçu pour les étudiants et les professionnels de l'informatique ayant une base solide en programmation et en mathématiques. Il utilise un langage formel et précis pour décrire les concepts, et propose de nombreux exemples et exercices pour aider le lecteur à assimiler la matière. Il offre une perspective rigoureuse et approfondie sur la programmation fonctionnelle, en mettant l'accent sur la spécification, la vérification et l'application pratique des concepts.