Author: Christian.Queinnec@lip6.fr

## Résumé

Ce chapitre a montré les principaux traits de la programmation fonctionnelle et du polymorphisme paramétrique qui sont deux traits essentiels du langage Objective CAML. La syntaxe des expressions du noyau fonctionnel du langage ainsi que celle des types ont été décrites permettant la réalisation des premiers programmes. Par ailleurs, il a été souligné la différence profonde entre le type d'une fonction et son domaine de définition. L'introduction du mécanisme d'exceptions permet de résoudre ce problème et introduit déjà un nouveau style de programmation où l'on précise le déroulement des calculs.