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.