[ocaml-platform] on the need and design of OCaml namespaces

[Anil Madhavapeddy]

On 22 Feb 2013, at 12:12, Daniel Bünzli <daniel.buenzli at erratique.ch> wrote:

> Le vendredi, 22 février 2013 à 12:41, Anil Madhavapeddy a écrit :
>> There's one scenario which absolutely requires the ability to explicitly open a particular namespace: camlp4 code generation.
> 
> Well I'm not sure I'd like more complexity in the system to support the otherwise ugly tool that camlp4 is. Besides I'm sure this problem can be tackled using modules and the language as it stands instead of introducing a new bureaucratic concept in the language.  

This remains a problem in any code-generation approach, including ppx.  Namespaces are just another way of manipulating modules, so we could call them 'module aliases' if having a new word is scaring people off.

-anil