template statistics

[Stefan Koch]

On Wednesday, 3 June 2020 at 14:13:47 UTC, Paul Backus wrote:
> On Wednesday, 3 June 2020 at 11:22:23 UTC, Stefan Koch wrote:
>>
>> Oh yes.
>> sumType does not need to introduce new symbols.
>> Therefore it should be handled in a way which does not 
>> introduce new symbols.
>
> In other words, we want a way to give our templates 
> AST-macro-like evaluation semantics. It's the same thing with 
> Manu's `...` and staticMap. :)
>
> I wonder if a DIP to add something like "Macros: the Good 
> Parts" to D would be accepted?

I doubt that it would have any more success than type functions.