Objective Caml on .NET: The OCamIL Compiler and Toplevel - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Objective Caml on .NET: The OCamIL Compiler and Toplevel

Raphaël Montelatici
  • Fonction : Auteur
  • PersonId : 829794
Emmanuel Chailloux
Bruno Pagano
  • Fonction : Auteur

Résumé

We present the OCamIL compiler for Objective Caml that targets .NET. Our experiment consists in adding a new back-end to the INRIA Objective Caml compiler, that generates MSIL bytecode. Among all the advantages of code reuse, ensuring compatibility while keeping all the expressiveness of the original language is particularly interesting. This allowed us to bootstrap the OCamIL compiler as a .NET component and build an interactive loop (toplevel) which may be embedded within .NET applications. This work deals with typing issues, because OCamIL needs to translate an untyped intermediate language into a typed bytecode. We discuss various intermediate language retyping techniques and their consequences on performances. We also present applications of interoperability of Objective Caml and C# components.
Fichier principal
Vignette du fichier
29_0404pp_Montelatici.pdf (311.15 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-00003784 , version 1 (05-01-2005)
hal-00003784 , version 2 (19-06-2007)

Identifiants

  • HAL Id : hal-00003784 , version 2

Citer

Raphaël Montelatici, Emmanuel Chailloux, Bruno Pagano. Objective Caml on .NET: The OCamIL Compiler and Toplevel. May 2005, pp.109-120. ⟨hal-00003784v2⟩
151 Consultations
175 Téléchargements

Partager

Gmail Facebook X LinkedIn More