Le langage Caml (2e édition)

Ce livre permet d'aborder la programmation en Caml de façon simple et concrète. Véritable cours de programmation, il introduit progressivement les mécanismes du langage et les montre à l'oeuvre face aux problèmes fondamentaux de la programmation. Outre de nombreux exemples introductifs, ce livre détaille la conception et la réalisation de six programmes complets et réalistes illustrant des domaines réputés difficiles: démonstration de propositions, compression de fichiers, simulation d'un processeur, compilation, automates, synthèse de types.

Cet ouvrage s’organise comme suit :
• La partie I, «Programmer en Caml », introduit progressivement les traits du langage et les méthodes essentielles de programmation en Caml.
• La partie II, «Exemples complets », montre comment résoudre en Caml un certain nombre de problèmes réalistes de programmation.
• La partie III, « Introspection », ébauche une implémentation de Caml en Caml,expliquant ainsi le typage et l’évaluation de Caml.