A Proposal for Non-Intrusive Namespaces in OCaml, by Pierrick Couderc (I), Fabrice Le Fessant (I+O), Benjamin Canou (O), Pierre Chambart (O); (I = INRIA, O = OCamlPro)

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.