CTFE vs. traditional metaprogramming

[bearophile]

Jeremie Pelletier:
 
> I would rather have TypeInfo usable at compile time than a "type" type.

That's useful, but it's not enough. So you may want both. Sometimes all you want to pass to a function is a type, to replace some of the use cases of templates. Time ago I have shown some usage examples here. To me it seems that where they can be used they give a little more natural means to do some things (but templates can't be fully replaced).

Bye,
bearophile