What type functions mean on a language level

[Ola Fosheim Grøstad]

On Sunday, 3 January 2021 at 12:06:18 UTC, Stefan Koch wrote:
> If I expose it as a 'real' datastructure rather than a langauge 
> builtin I cannot build it dynamically, it needs to be there for 
> use at runtime as well.

Maybe if you constrain it so that all accessed attributes can be 
determined at compile time?

So, for each compiled d-module you record what information that 
d-module will try to access at runtime. Then you at the "link 
stage" generate it?