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.
Type de document :
Communication dans un congrès
OCaml 2014, Sep 2014, Goteborg, Sweden. OCaml 2014
Liste complète des métadonnées


https://hal.inria.fr/hal-01091173
Contributeur : Fabrice Le Fessant <>
Soumis le : jeudi 4 décembre 2014 - 17:43:21
Dernière modification le : jeudi 8 octobre 2015 - 01:03:58
Document(s) archivé(s) le : lundi 9 mars 2015 - 06:00:06

Fichier

ocaml2014_8.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. OCaml 2014. <hal-01091173>

Partager

Métriques

Consultations de
la notice

61

Téléchargements du document

109