DeRailed DSL (was Re: compile-time regex redux)

[Walter Bright]

Andrei Alexandrescu (See Website For Email) wrote:
> Walter Bright wrote:
>> Kirk McDonald wrote:
>>> Never mind what this actually does. The problem at hand is somehow 
>>> generating a class like this at compile-time, possibly given only the 
>>> class Foo.
>>
>> Tell me exactly what you need.
> 
> Given a class Foo, allow _during compilation_ enumeration of all of its 
> embedded symbols (fields, methods, types, aliases), with full access to 
> their type information (notably return and argument types for methods), 
> transitively. Allow arbitrary code generation using all of that 
> information.

That will eventually happen, but I was hoping there was some subset that 
Kirk needed which I can provide relatively quickly.