A Proposal for Non-Intrusive Namespaces in OCaml - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

A Proposal for Non-Intrusive Namespaces in OCaml

Benjamin Canou
  • Function : Author
  • PersonId : 962081
Pierre Chambart
  • Function : Author
  • PersonId : 962082


We present a work-in-progress about adding namespaces to OCaml. Inspired by other lan-guages such as Scala or C++, our aim is to de-sign and formalize a simple and non-intrusive namespace mechanism without complexifying the core language. Namespaces in our ap-proach are a simple way to define libraries while avoiding name clashes. They are also meant to simplify the build process, clarify-ing and reducing (to zero whenever possible) the responsibility of external tools.
Fichier principal
Vignette du fichier
ocaml2014_8.pdf (117.21 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01091173 , version 1 (04-12-2014)


  • HAL Id : hal-01091173 , version 1


Pierrick Couderc, Benjamin Canou, Pierre Chambart, Fabrice Le Fessant. A Proposal for Non-Intrusive Namespaces in OCaml. OCaml 2014, Sep 2014, Goteborg, Sweden. ⟨hal-01091173⟩


72 View
55 Download


Gmail Facebook X LinkedIn More