Pour en savoir plus
La littérature sur la programmation objet et les langages par objets est importante
depuis près de 20 ans. Chaque langage objet implantant un modèle différent.
Un ouvrage généraliste, et toujours d'actualité pour sa premières partie, est
<<Langages à Objets>> ([MNC+89]) qui explique la démarche objet.
Sur la modélisation, l'ouvrage <<Design patterns>> ([GHJV98]) propose un catalogue de modèles
de conception qui apportent une bonne description des possibilités de réutilisabilité.
Pour la notation UML, le site de référence est celui de Rational :
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 objet 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.
Plusieurs cours en ligne peuvent être consultés pour approfondir le typage statique objet
d'Objective CAML.
-
Le cours de Maria-Virginia Aponte et François Barthélémy
http://tulipe.cnam.fr/personne/aponte/ocaml.html
- Une courte présentation des objets par Didier Rémy
http://pauillac.inria.fr/remy/objectdemo.html
- Le cours de Didier Rémy de Magistère MMFAI
http://pauillac.inria.fr/remy/classes/magistere/
et de Roberto Di Cosmo au Magistère MMFAI
http://www.dmi.ens.fr/users/dicosmo/CourseNotes/OO/