... objets¹

Cardelli: A theory of types.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... suivante²

Le modèle de stockage décrit ici est naif. Par exemple, dans certains langages, le code des méthodes de tous les objets d'une même classe est partagé.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... polymorphisme³

Ici, il s'agit de polymorphisme paramétrique. Nous préciserons cette notion dans la partie du cours dédiée au typage.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... classe⁴

Plus précisement, on peut utiliser toute méthode soeur s qui se trouve dans la hiérarchie de cette classe: soit dans une super-classe, si s est hérité, soit dans une sous-classe, si s est redéfinie plus tard dans la classe éffective de l'objet auquel on envoit le message. Ce point est exploré en détail dans la partie dédié à la liaison tardive.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... objet⁵

Plus précisement, cette règle décrit informellement le polymorphisme d'inclusion. En Ocaml, le polymorphisme mis en oeuvre pour les objets n'est pas celui d'inclusion, mais une extension du polymorphisme paramétrique qui permet d'obtenir un comportément équivalent pour la plupart des programmes, tout en apportant des avantages importants, qui seront détaillés plus tard.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.