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

Résumé : 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.
Type de document :
Rapport
[Rapport de recherche] RR-2721, INRIA. 1995
Liste complète des métadonnées

https://hal.inria.fr/inria-00073972
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:12:29
Dernière modification le : samedi 17 septembre 2016 - 01:35:18
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:02:54

Fichiers

Identifiants

  • HAL Id : inria-00073972, version 1

Collections

Citation

Xavier Leroy. Le système Caml Special Light: modules et compilation efficace en Caml. [Rapport de recherche] RR-2721, INRIA. 1995. <inria-00073972>

Partager

Métriques

Consultations de
la notice

140

Téléchargements du document

252