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