What is Expressiveness in a Computer Language

[Diez B. Roggisch]

>> The C++ type system is Turing complete, although in practical terms
>> it limits how much processing power it will spend on types at
>> compile time.
> 
> I think templates only have to expand to seven levels, so you are
> severely limited here.

You can adjust the iteration-depth. However, as turing-complete implies the
potential to create infinite loops - it enforces _some_ boundary. Otherwise
the user hitting C-c will do :)
 
Diez