Pour en savoir plus
Le survol des bibliothèques de la distribution du langage a montré la
richesse de l'environnement de base. Pour le module Printf
rien ne vaut la lecture d'un ouvrage sur le langage C, comme
[HS90]. Dans [FW00] une solution
est proposée pour le typage des entrées-sorties
de valeurs (module Marshal).
L'algorithme MD5 du module Digest est décrit sur la page
de son concepteur :
Lien
http://theory.lcs.mit.edu/~rivest/homepage.html
De même on trouve de nombreux articles sur l'arithmétique exacte utilisée par la
bibliothèque num sur la page de Valérie Ménissier-Morain :
Lien
http://www-calfor.lip6.fr/~vmm/
Il existe aussi d'autres bibliothèques que celles de la distribution,
développées par l'ensemble de la communauté des programmeurs
Objective CAML. La majorité d'entre elles sont listées sur le site de la
<< bosse du chameau >> :
Lien
http://caml.inria.fr/hump.html
Certaines d'entre elles seront présentées
et discutées dans le chapitre sur le développement d'applications
(22).
Pour connaître précisément le contenu des différents modules, il ne
faut pas hésiter à lire la partie de description des bibliothèques du
manuel de référence [LRVD99] ou de consulter sa version en
ligne au format HTML (1). Pour entrer dans le
détail des implantations de ces bibliothèques, rien ne vaut la lecture
des sources de ces bibliothèques accessibles avec la distribution du
langage (1).
Le chapitre 14 présente le langage de modules
d'Objective CAML. Celui-ci permet de construire des modules simples vus
comme des unités indépendantes de compilation qui correspondent aux
modules présentés dans ce chapitre.