Comment by chrisrodrigue

...isn't that what templates were made for? Template metaprogramming in C++ is Turing-complete.