Next:
Pourquoi faire du typage?
Typage des objets en Ocaml
María-Virginia Aponte
Pourquoi faire du typage?
Polymorphisme dans les langages à objets
Le polymorphisme paramétrique
Polymorphisme d'inclusion
Types et objets en Ocaml
Le type d'un objet
Typage structurel
Les types objets
ouverts
et
fermés
Les types ouverts: des types polymorphes paramétriques
Le polymorphisme des objets en Ocaml
Héritage et polymorphisme paramétrique
Classes paramétrées par un type
Contraintes de typage
Types récursifs
Sous-typage
Sous-typage entre objets
Appel de fonctions avec sous-typage
Sous-classe
Sous-type
Un exemple en dehors d'Ocaml
Les méthodes binaires
Sous-typage entre fonctions
Relation entre héritage et polymorphisme
About this document ...
Maria-Viginia Aponte
2001-04-10
Sous-type