"And you can do precisely the same thing in C++ if you're willing to write somewhat non-trivial template code."
The template code required to cause non-termination in template instantiation is a very trivial infinite loop.
Simple metaprogramming with templates is not very hard, it's kind of like doing lisp with template parameters. Variadic templates (in c++11) make this a whole lot simpler.
The template code required to cause non-termination in template instantiation is a very trivial infinite loop.
Simple metaprogramming with templates is not very hard, it's kind of like doing lisp with template parameters. Variadic templates (in c++11) make this a whole lot simpler.