C++ templates allow compile-time [[meta programming]] in the type system of C++.