Highly templated C++ is the highway to hell. If you haven't heard C++ templates are turing complete and so can also have the halting problem.