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
modules tel qu'il a été primitivement défini pour le langage
Caml-Light. Ce document est un peu technique. Il s'intitule
<< 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 :
Lien
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 22
revient sur la comparaison de ces deux langages et donne les pointeurs
bibliographiques nécessaires au lecteur curieux.
D'autres langages offrent des systèmes de modules
évolués. Citons, par exemple, Modula-3 (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.