Author: Christian.Queinnec@lip6.fr

## Introduction

Le système de type d'Objective CAML serait beaucoup plus simple si le langage était purement fonctionnel. Par << malheur >> les extensions du langage introduisent des extensions du langage de type et du mécanisme d'inférence : nous en avons eu l'illustration avec les variables de type faibles (voir page ??) rendues nécessaires par les extensions impératives.
Le typage des objets introduit une notion de type cyclique associée au mot clé as (voir page ??) qui peut être utilisée hors du concept de la programmation par objet. Cette annexe décrit cette extension du langage de type qui est accessible par une option du compilateur.