A Proposal for Non-Intrusive Namespaces in OCaml

Conference object English OPEN
Couderc , Pierrick ; Canou , Benjamin ; Chambart , Pierre ; Le Fessant , Fabrice (2014)
  • Publisher: HAL CCSD
  • Subject: [ INFO.INFO-PL ] Computer Science [cs]/Programming Languages [cs.PL]

International audience; 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.
  • References (3)

    [1] Working Draft, Standard for Programming Language C++. http://www.openstd.org/jtc1/sc22/wg21/docs/papers/2012/n3337.pdf.

    [2] F. Le Fessant. Packing and functors. http://www.ocamlpro.com/blog/2011/08/10/ocamlpack-functors.html.

    [3] M. Odersky. The Scala Language Specification, 2014. http://www.scalalang.org/docu/files/ScalaReference.pdf.

  • Metrics
    No metrics available
Share - Bookmark