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

[Andrei Alexandrescu (See Website For Email)]

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.

Andrei