Assertion: compiler | /r/CapableOf | generate substantial programs
Facets:
value: through template metaprogramming
type: MANNER
Source sentences:
text: Because C++ templates are type-aware and Turing-complete, they can also be used to let the compiler resolve recursive conditionals and generate substantial programs through template metaprogramming.