Beyond the veil: What's after type functions

[Ola Fosheim Grøstad]

On Wednesday, 6 January 2021 at 16:30:25 UTC, Jacob Carlborg 
wrote:
> On 2021-01-04 20:30, Stefan Koch wrote:
>
>> With this in mind, please tell me what you think :)
>
> I think this looks like yet another new set of features just to 
> avoid AST macros. What everyone is currently doing is inventing 
> many highly specialized features just in the name of avoiding 
> AST macros, regardless of the cost.


But the DMD AST model isn't really suitable for exposure. So you 
would need to design a completely new AST... not sure if this is 
feasible in this decade? :)