Préambule
La volonté d'écrire un livre sur Objective CAML est venue de
l'expérience pédagogique des auteurs dans l'apprentissage des concepts
de la programmation à travers le langage Objective CAML. Les étudiants des
différents cycles et les ingénieurs en formation permanente de
l'Université Pierre et Marie Curie ont par leur dynamisme et leurs
critiques grandement fait évoluer notre présentation du
langage Objective CAML. Plusieurs exemples de ce livre s'inspirent
directement de leurs réalisations.
L'implantation du langage Caml se poursuit depuis quinze ans déjà.
Son développement provient des projets Formel puis Cristal de
l'INRIA en collaboration avec l'Université Denis Diderot et
l'École Normale Supérieure. Les efforts continus, tant théoriques que
d'implantation, des chercheurs de ces équipes ont produit au fil des ans
un langage de grande qualité. Ils ont su tenir compte de l'évolution
constante du domaine en intégrant dans un cadre formel les
nouveaux modèles de programmation. Nous espérons contribuer par
cet ouvrage à la diffusion que mérite ce travail.
La forme et le fond de ce livre ne seraient pas ce qu'ils sont sans
l'aide de nombreux collègues. Ils n'ont pas été rebutés par la relecture
de nos premiers manuscrits. Leurs remarques et leur commentaires ont
permis d'améliorer cet ouvrage tout au long de sa réalisation. Nous
tenons à particulièrement remercier María-Virginia Aponte,
Sylvain Baro, Christian Codognet, Hélène Cottier, Guy Cousineau, Pierre Crégut,
Titou Durand, Christophe Gonzales, Michelle Morcrette, Christian Queinnec,
Attila Raksany et Didier Rémy.
La version HTML de ce livre n'aurait pas vu le jour sans
les outils
hevea et
VideoC. Un grand merci à leurs auteurs
respectifs, Luc Maranget et Christian Queinnec, qui ont toujours répondu
dans les plus brefs délais à nos questions et à nos demandes d'évolution.