Caml est un langage de programmation de conception recente qui reussit a etre a la fois tres puissant et cependant simple a comprendre. Issu d’une longue reflexion sur les langages de programmation, Caml s’organise autour d’un petit nombre de notions de base, chacune facile a comprendre, et dont la combinaison se revele extremement feconde. La simplicite et la rigueur de Caml lui valent une popularite grandissante dans l’enseignement de l’informatique, en particulier comme premier langage dans des cours d’initiation a la programmation. Son expressivite et sa puissance en font un langage de choix dans les laboratoires de recherche, ou il a ete utilise pour traiter des probl`emes parmi les plus ardus de l’informatique : demonstration assistee par ordinateur, analyses automatique de programmes, systemes de reecriture, compilation et metacompilation. En bref, Caml est un langage facile avec lequel on resout des problemes difficiles.
Longtemps reserve a de grosses machines couteuses, le langage Caml est maintenant disponible gratuitement sur toute une gamme de machines, du micro-ordinateur personnel (PC, Macintosh, . . . ) aux stations de travail les plus puissantes, ce qui le rend accessible a un vaste public, de l’amateur curieux au professionnel chevronne en passant par l’etudiant informaticien.
A ce vaste public, Caml apporte une nouvelle approche de la programmation, des plus fructueuses. L’investissement que vous ferez en apprenant Caml ne sera pas vain: vous constaterez que le langage vous ouvre des horizons nouveaux et qu’il est assez puissant pour que vous y exprimiez simplement des idees complexes. Ce qui se con¸coit bien s’enonce clairement et les programmes pour le dire vous viennent ais´ement en Caml.
Ce livre se propose donc de faire decouvrir Caml a tous ceux qui s’interessent a la programmation. Nous nous sommes efforces d’ecrire un livre accessible a tout «honnete homme », mais qui permette cependant de maıtriser le langage et d’en saisir les beautes.
Pour ce faire, nous avons combine une introduction progressive aux principaux traits du langage avec un veritable cours de programmation, illustre de tres nombreux exemples de programmes qui vous permettront de saisir comment on utilise Caml et de vous approprier petit a petit ce merveilleux outil. Les exemples vont jusqu’au developpement de programmes complets et d’une longueur respectable.
