D has best-in-class templates and metaprogramming, and modules. It works fine.