Pierre Weis Xavier Leroy

LE LANGAGE CAML
Deuxi`me ´dition e e

Copyright 1992, 1993, 2009 Pierre Weis et Xavier Leroy. Ce texte est distribu´ sous les termes de la licence Creative Commons BY-NC-SA. Le e texte complet de la licence est disponible ` l’adresse suivante : a http://creativecommons.org/licenses/by-nc-sa/2.0/fr/legalcode Voici un r´sum´ des droits et conditions de cette licence. e e • Vous ˆtes libres : e – de reproduire, distribuer et communiquer cette cr´ation au public e – de modifier cette cr´ation e • Selon les conditions suivantes : – Paternit´. Vous devez citer le nom de l’auteur original de la mani`re indiqu´e e e e par l’auteur de l’oeuvre ou le titulaire des droits qui vous conf`re cette e autorisation (mais pas d’une mani`re qui sugg´rerait qu’ils vous soutiennent e e ou approuvent votre utilisation de l’oeuvre). – Pas d’Utilisation Commerciale. Vous n’avez pas le droit d’utiliser cette cr´ation ` des fins commerciales. e a – Partage des Conditions Initiales ` l’Identique. Si vous modifiez, transformez a ou adaptez cette cr´ation, vous n’avez le droit de distribuer la cr´ation qui e e en r´sulte que sous un contrat identique ` celui-ci. e a • A chaque r´utilisation ou distribution de cette cr´ation, vous devez faire ape e paraˆ clairement au public les conditions contractuelles de sa mise ` disposition. ıtre a La meilleure mani`re de les indiquer est un lien la page Web ci-dessus. e • Chacune de ces conditions peut ˆtre lev´e si vous obtenez l’autorisation du titue e laire des droits sur cette oeuvre. • Rien dans ce contrat ne diminue ou ne restreint le droit moral de l’auteur ou des auteurs.

` A ` A ` A ` A

mes parents, Suzanne et Michel, Lise, Marie, Jean-Baptiste et Ir`ne, e H´l`ne. ee

Pierre Weis

Table des mati`res e
Avant-propos xi

I

Programmer en Caml

1
3 5 5 6 6 8 13 13 15 17 19 19 27 28 31 37 37 39 40 42 46 47 49 50 52 53 57 57 59 61 64

Avertissement 1 Premiers pas 1.1 Id´es g´n´rales sur Caml e e e