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.