Author: Christian.Queinnec@lip6.fr

## 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.