Plan du chapitre
La première section présente et commente la réalisation du
module Stack de la distribution d'Objective CAML. On y montre
comment obtenir une autre implantation du << même >> module.
La deuxième section introduit le langage de module d'Objective CAML
pour les modules simples et en montre quelques utilisations. En
particulier, on étudie comment se pose et se résoud le partage de
types entre modules. La troisième section introduit la syntaxe et
l'utilisation des modules paramétrés que l'on appelle également
foncteurs. La quatrième section donne la réalisation de
l'exemple classique en programmation modulaire : la gestion d'un
compte bancaire avec ses différentes vues (le banquier et le
client) et ses différents paramètres (devise, etc. )