static map as a type function

[Stefan Koch]

On Thursday, 24 September 2020 at 10:08:30 UTC, Timon Gehr wrote:
> 
> It means your programming language lacks features to write the 
> code in a better way. Note that D templates form a very ugly 
> programming language with a semantics that is hard to implement 
> efficiently.

Hello Timon,

I didn't notice your reply, when you gave it.
Thanks for expressing the concern so clearly.

Last time we talked about type functions on here,
you said they'd have to be able to replace templates in all 
circumstances,
(i.e. be able to actually create new types)
do you think so still?

Greetings,

Stefan