Précédent Index Suivant

Résumé

Ce chapitre a décrit l'extension objet du langage Objective CAML. La structuration en classes est une alternative aux modules pour d'une part la modélisation d'une application et d'autre pour la réutilisation et la modifiabilité des programmes grâce à l'héritage et la liaison retardée. Cette extension s'intègre au système de types d'Objective CAML et lui ajoute la notion de sous-type, permettant ainsi d'utiliser une instance d'un sous-type en tout endroit où une valeur du type est attendue. En combinant le sous-typage et la liaison retardée, on obtient un polymorphisme d'inclusion permettant de construire des listes homogènes du point de vue des types, mais hétérogènes du point de vue des comportements.


Précédent Index Suivant