Author: Christian.Queinnec@lip6.fr

## 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/