Pour en savoir plus
La littérature sur la programmation par objets et les langages par objets
est considérable, chaque langage objet implantant
un modèle différent.
Un ouvrage général et toujours d'actualité pour sa première
partie, est << Langages à Objets >> ([MNC+89]) qui explique la
démarche objet. Un livre plus pointu, << Langages et modèles à objets >> [DEMN98], fait un état de l'art du domaine.
Sur la modélisation, l'ouvrage <<Design patterns>> ([GHJV98]) propose
un catalogue de modèles de conception donnant une bonne
description des possibilités de réutilisabilité.
Pour la notation UML, le site de référence est celui de Rational :
Lien
http://www.rational.com/uml/resources
Pour les langages fonctionnels avec une extension objet, on peut citer
les <<Lisp>> objets, provenant du monde SMALLTALK, et CLOS (pour
Common Lisp Object System) ainsi que de nombreux Scheme implantant les
fonctions génériques à la CLOS.
D'autres propositions de langages par objets ont été faites pour les langages fonctionnels
typés dynamiquement, comme par exemple Haskell, langage fonctionnel pur,
qui autorise le polymorphisme
paramétrique et ad hoc pour la surcharge.
L'article [RV98] présente l'extension objet d'Objective CAML d'un point de vue théorique.
Plusieurs cours en ligne peuvent être consultés pour approfondir le typage statique objet
d'Objective CAML.
Le cours de María-Virginia Aponte.
Lien
http://tulipe.cnam.fr/personne/aponte/ocaml.html
Une courte présentation des objets par Didier Rémy.
Lien
http://pauillac.inria.fr/~remy/objectdemo.html
Le cours de Didier Rémy au Magistère MMFAI
Lien
http://pauillac.inria.fr/~remy/classes/magistere/
Le cours de Roberto Di Cosmo au Magistère MMFAI.
Lien
http://www.dmi.ens.fr/users/dicosmo/CourseNotes/OO/