[jcelerier]

> C++ templates are past well studied examples, and both produced awful results.

What's wrong with templates ? They give you a compile-time functional language that operates on types, isn't that great ?

[mbrodersen]

Imagine being able to use C++ to operate on types at compile time instead of using the verbose template syntax.