Implémentation d'un système de modules évolué en Caml-Light - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 1995

Implémentation d'un système de modules évolué en Caml-Light

(1)
1

Abstract

Ce rapport décrit la conception et l'implémentation d'un langage de modules évolué en Caml-Light. Nous décrivons d'abord ce que nous entendons par langage de modules, et l'intérêt qu'un tel langage présente pour la programmation à moyenne ou grande échelle. Nous expliquons ensuite en quoi le précurseur en la matière, SML, souffre de limitations graves vis-à-vis de la compilation séparée. Nous exposons un système similaire mais mieux adapté à la compilation séparée, et en même temps simplifié. Enfin, certains problèmes d'implémentation inattendus sont évoqués.
Fichier principal
Vignette du fichier
RR-2449.pdf (475.02 Ko) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : inria-00074226 , version 1

Cite

François Pottier. Implémentation d'un système de modules évolué en Caml-Light. [Rapport de recherche] RR-2449, INRIA. 1995. ⟨inria-00074226⟩
105 View
122 Download

Share

Gmail Facebook Twitter LinkedIn More