Pour en savoir plus
Pour avoir plus de détails sur l'implantation des modules dans
Objective CAML, on peut consulter le rapport de recherche de François
Pottier qui décrit les motivations et l'implantation du système de
module tel qu'il a été primitivement défini pour le langage
Caml-light. Ce document est un peu technique. Il s'intule
<< Implantation d'un système de modules
évolués en Caml-Light >>. Il est accessible à partir de la page
du projet CRISTAL de l'INRIA :
http://www.inria.fr/Equipes/CRISTAL-fra.html
Le système de modules d'Objective CAML reprend les principes définis
pour le langage SML, cousin d'Objective CAML. La chapitre
revient sur la comparaison de ces deux langages et donne les pointeurs
bibliographiques nécessaires au lecteur curieux.
D'autres langages offres des systèmes de modules
évolués. Citons, par exemple, MODULA (et ses différents
numéros) ainsi que ADA. Ils offrent la possibilité de
définir des modules paramétrés par des types ou des valeurs.