Précédent : Implémentation de Caml Remonter : Implémentation de Caml Suivant : Objective Caml sous Microsoft Windows

Objective Caml

Participants : Xavier Leroy, Jérôme Vouillon

Objective Caml (précédemment connu sous le nom de Caml Special Light) est une réimplémentation quasi-complète de Caml Light, entreprise par Xavier Leroy en 1995, auquel s'est joint Jérôme Vouillon en 1996 pour l'implémentation des objets et des classes. Les principales innovations d'Objective Caml sont :

• un système complet d'objets et de classes, mettant Caml au niveau des meilleurs langages orientés-objets existants ;
• un calcul de modules puissant, mais néanmoins compatible avec la compilation séparée ;
• un compilateur produisant du code assembleur de hautes performances pour la plupart des processeurs du marché (Pentium, Alpha, PowerPC, Sparc, Mips, HPPA).

Le développement majeur de cette année, décrit plus en détails dans le reste de ce rapport, a été l'intégration par Jérôme Vouillon du calcul d'objets et de classes conçu par Didier Rémy et lui-même. En parallèle, Xavier Leroy a poursuivi le développement du système de modules, assuré la maintenance de l'ensemble du système, et effectué de nombreux portages du compilateur. C'est au total 11 releases du système que nous avons réalisées entre septembre 1995 et novembre 1996.

Objective Caml a reçu un accueil très favorable. C'est la première extension orientée-objet du langage ML, ou, de manière équivalente, le premier langage orienté-objet à bénéficier de l'inférence de types à la ML, à être rendu publique. La présence de modules puissants et d'un compilateur très efficace a aussi beaucoup contribué à effacer l'aspect ``petit langage uniquement pour l'enseignement'' parfois attaché à Caml Light, notre précédente implémentation de Caml.

Objective Caml a été utilisé dans plusieurs projets importants, aussi bien à l'intérieur de l'INRIA (le prouveur Coq, le navigateur MMM, le cache Web intelligent V6) qu'à l'extérieur (cf. section 5.2.2 ). Nos contacts étroits avec ces utilisateurs importants ont beaucoup contribué à la qualité générale de l'implémentation Objective Caml et au développement de bibliothèques répondant à leurs besoins, en particulier dans le domaine du parallélisme (threads ).

Précédent : Implémentation de Caml Suivant : Objective Caml sous Microsoft Windows Remonter : Implémentation de Caml