А что тебе так в D нравится?
Доработанные шаблоны (по отношению к плюсам), доработанные асмовставки (то же самое), спеки по ABI, рефлексия уровня "я могу даже атрибуты выяснить", opDispatch, "alias smthing this;", компилтайм с работой со строками + построения AST в каком-то своём виде, юниттесты встроенные в язык и позволяющие навешивать атрибуты, которые можно разбирать через рефлексию.