Repository logo
 

Extending OCaml’s open

Published version
Peer-reviewed

Type

Article

Change log

Authors

Li, R 
Yallop, J 

Abstract

We propose a harmonious extension of OCaml's 'open' construct. OCaml's existing construct 'open M' imports the names exported by the module 'M' into the current scope. At present 'M' is required to be the path to a module. We propose extending 'open' to instead accept an arbitrary module expression, making it possible to succinctly address a number of existing scope-related difficulties that arise when writing OCaml programs.

Description

Keywords

cs.PL, cs.PL, D.3.2, D.3.3

Journal Title

Electronic Proceedings in Theoretical Computer Science, EPTCS

Conference Name

Journal ISSN

2075-2180
2075-2180

Volume Title

294

Publisher

Open Publishing Association