Le système Caml Special Light: modules et compilation efficace en Caml - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 1995

Le système Caml Special Light: modules et compilation efficace en Caml

(1)
1

Abstract

Ce rapport présente une vue d'ensemble du système Caml Special Light, une implémentation expérimentale du langage Caml offrant deux extensions majeures: premièrement, un calcul de modules (incluant les foncteurs et les vues multiples d'un même module) dans le style de celui de Standard ML, mais s'appuyant sur les avancées récentes dans la théorie du typage des modules et préservant la compatibilité avec la compilation séparée; deuxièmement, un double compilateur, produisant à la fois du du code natif efficace, pour les applications de Caml gourmandes en temps de calcul, et du code abstrait interprété, pour la rapidité de compilation et le confort de mise au point.
Fichier principal
Vignette du fichier
RR-2721.pdf (256.1 Ko) Télécharger le fichier

Dates and versions

inria-00073972 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00073972 , version 1

Cite

Xavier Leroy. Le système Caml Special Light: modules et compilation efficace en Caml. [Rapport de recherche] RR-2721, INRIA. 1995. ⟨inria-00073972⟩
120 View
240 Download

Share

Gmail Facebook Twitter LinkedIn More