Quatrième de couverture
Caml appartient à la famille des langages fonctionnels fortement typés à évaluation stricte. Ce livre s'adresse au débutant qui y trouvera les notions de base de la programmation. Le programmeur curieux y découvrira un langage simple dont la syntaxe permet une écriture claire et concise des programmes. L'enseignant y puisera la matière de base de ses séances de travaux pratiques. Deux parties constituent l'ouvrage : 1 - Le " manuel de programmation " Il présente des notions générales et essentielles telles que le filtrage, le polymorphisme, la pleine fonctionnalité ou la récursivité. Certaines d'entre elles sont approchées selon deux perspectives, celle de leur utilisation, d'une part, et celle de leur implémentation, d'autre part. 2 - L'atelier Caml Cette partie met en oeuvre les notions etudiées dans la première partie. L'auteur étudie des thèmes fondamentaux et des outils formels pour évoquer quelques voies intéressantes à explorer, comme le lambda-calcul, les automates ou les grammaires. Une douzaine de modules tels que la gestion d'écran, de champs, de menus etc. sont proposés. Trois programmes complets sont donnés en exemple : un traducteur, un tableur et un éditeur de texte. Il n'est pas conseillé de faire une lecture linéaire de ce livre. Des itinéraires de progression, établis en fonction d'un objectif pédagogique déterminé, sont proposés au lecteur : - la programmation fonctionnelle - la programmation modulaire - la programmation impérative - la récursivité - les types et le polymorphisme - les fonctions et la pleine fonctionnalité - les fondements et les aspects formels de la programation - l'implémentation des langages.
