What about compile-time metaprogramming such as found in D and C++. That's zero-overhead (discounting possible template bloat) and requires no special technique

What about compile-time metaprogramming such as found in D and C++. That's zero-overhead (discounting possible template bloat) and requires no special techniques at all. Well, besides knowing how to write compile-time code, that is.