DIP 50 - AST macros

[Walter Bright]

On 11/13/2013 1:15 AM, deadalnix wrote:
> On Wednesday, 13 November 2013 at 08:45:13 UTC, Walter Bright wrote:
>> On 11/13/2013 12:03 AM, Jacob Carlborg wrote:
>>> Again, operator overloading in D is too limiting to implement something Linq
>>> like.
>>
>> Ok, let's set aside the opEquals and opCmp issue for the moment.
>>
>> Can AST macros do anything that expression templates cannot?
>
> Yes, they can reflect the ast provided and act accordingly.

The reflection ability is not something specific to an AST, it could be added so 
that any expression node can be reflected. We already do much of that with __traits.