Template Metaprogramming #

If compiler error messages are too short and compile times not long enough, there’s a remedy: Template Metaprogramming.

It can be summarized as abusing templates to trick the compiler into providing functionality the language never intended to allow. It’s great fun.

The following topics are discussed:

• Simple Traits introduces traits.
• Custom Tuple explains recursion over types.
• Struct of Array demonstrates applying “functions” to a list of types.