Ну, гениален он как раз в том, что язык получился такой, что его куда угодно оказалось возможным приспособить, хотя иногда - с отчетливым скрипом. То, что сотворил Степанов, а особенно Александреску - яркий пример. boost::spirit - тоже, но уже за гранью добра и зла. А дальше надо было бы делать для этого адекватные инструменты - но комитетчики фактически не дали довести это до нужного уровня - см. те же зарезанные концепты.

А когда концепты таки есть - динамическая типизация оказывается пережитком, выросшим из тех времен, когда вывод типов в мейнстримных языках был чем-то экзотическим и было ровно два варианта - либо пишем дикие описания типов, либо не имеем типов вообще. Сейчас вполне реально иметь и выгоды от статической типизации - самодокументирование и быстрый отлов ошибок - и простоту кодописания, как в языках с динамической типизацией. Собственно, как раз в D это использовано очень удачно и на всю катушку - мне в голову не придет выяснять, какой Range ко мне прилетел - лишь бы соответствовал нужному концепту.