namespace (for export)

[spir]

Hello,


In a previous post, I asked how to define, in a module, a set of symbols for export.

I was blocked then mainly because the compiler did not let me freely define what I wanted to define, at the module's toplevel. Especially, it does not allow accessing (public) fields or methods of defined elements. A first question is why, because for me a field is just a special var, and a method just a special func. The language seems to let call any other kind of func, or access any other kind of var (I have not stepped on other limitations).

All those blockages magically disappear when put inside a 'static this () {} block'. This firstly shows that the language is fully capable of coping with "free" definitions; and to make them available for export. So, why not allow them at the module's toplevel? I cannot see any difference from the language's point of view.

An annoying consequence is that what's defined inside 'static this' is not available in the module itself (EDIT: they seem not to be available for export, neither). I cannot test them, for instance. They must be globally declared, forcing to repete ids in 2 separate locations in code, leading to bugs after any edit (frustrating ones, like in those languages where interface must repeat implementation).

Finally, I guess from "static" in "static this" that the issue's key point has something to do with evaluation at compile-time. Maybe I'm completely stupid in thinking this, but why should the compiler be able to evaluate a module's top-level symbols at compile-time? What we want is them to be available at _import_ time. In my view, the compiler's task here to build a representation of the code (ie to compile, not to evaluate), e basta. Like a func def, which will is run when called only. For a module's toplevel, call-time is import-time. (For an app's single or main module, call-time is just run.)

These reflexions probably show you how I'm missing some fondamental point here -- about staticity, certainly. Please help me understand ;-), if it is the case.


Denis
-- -- -- -- -- -- --
vit esse estrany ☣

spir.wikidot.com