C++ Templates are Turing complete

See for a paper. It's a few years old:

http://ubiety.uwaterloo.ca/~tveldhui/papers/2003/turing.pdf