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

[Andrei Alexandrescu (See Website For Email)]

Walter Bright wrote:
> 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.

Without knowing the details, my guess is that nonstatic methods with 
their return and argument types should be enough.

Andrei