CTFE vs. traditional metaprogramming

[Jeremie Pelletier]

bearophile wrote:
> Sean Kelly:
> 
>> CTFE is great for working with values while template metaprogramming is
>> great for working with types.  String mixins make CTFE good at working
>> with types as well, but I wouldn't consider them a novice-level feature.
> 
> If a "type" type is added to the language (and few other minor changes), then CTFE can be used with types too.
> 
> Bye,
> bearophile

I would rather have TypeInfo usable at compile time than a "type" type.