Agreed. None of this would be an issue with good support for normal compile-time metaprogramming, in the same language that the rest of the code is in, without

Agreed. None of this would be an issue with good support for normal compile-time metaprogramming, in the same language that the rest of the code is in, without restrictions (or, with as few restrictions as is possible). But thats obviously too much, at the very least, I'd want the language designers to understand the implications of the features you add when you add them. You'd think the C++ standards committee would have learned their lesson, after accidentally making templates turing complete. Even if templates are a great feature (and this is far from a universal opinion), that just means they got lucky.