Plan du chapitre
Ce chapitre présente les éléments de base de la partie fonctionnelle
du langage Objective CAML, à savoir ses éléments syntaxiques, son
langage de types et son mécanisme d'exceptions. Ceci nous amènera à
la réalisation d'un premier exemple de programme complet.
La première section décrit le noyau du langage en
commençant par les valeurs de base et les fonctions qui les
manipulent. Nous passons ensuite aux valeurs structurées et aux valeurs
fonctionnelles. Les structures de contrôle de base sont
introduites ainsi que les déclarations locales et globales de
valeurs. La deuxième section s'intéresse aux définitions de types
pour la construction de valeurs structurées et au
filtrage de motifs pour l'accès à ces structures. La troisième section
compare le type inféré des fonctions et leur domaine de définition, ce
qui nous amène à introduire le mécanisme des exceptions. La
quatrième section illustre l'ensemble de ces notions en décrivant une
application simple : une calculatrice de bureau.