A Proposal for Non-Intrusive Namespaces in OCaml

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/hal-01091173
Contributor : Fabrice Le Fessant <>
Submitted on : Thursday, December 4, 2014 - 5:43:21 PM
Last modification on : Thursday, February 7, 2019 - 5:49:40 PM
Long-term archiving on : Monday, March 9, 2015 - 6:00:06 AM

File

ocaml2014_8.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01091173, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

87

Files downloads

126