DIP 50 - AST macros

[deadalnix]

On Wednesday, 13 November 2013 at 22:34:02 UTC, Walter Bright 
wrote:
> On 11/13/2013 2:18 PM, deadalnix wrote:
>> Was is missing is the capability to look into the lazy 
>> parameter's ast and act
>> accordingly.
>>
>> Here you can wrap something around code, not generation code 
>> depending on passed
>> code.
>
> That's correct. But you can look into the AST with expression 
> templates. So, expression templates combined with lazy 
> arguments and mixin templates may fill the problem space.

Expression templates are limited to expression and require to use 
its own set of types. Still the idea has some merits.