Средства и методы разработки

Я для себя решил что от "без типизации" до "жесткая типизация" это спектр. Простирается от человека к машине.  

не сулит сколько-нибудь качественного результата.

Определение "качественного результата"? (Кнопка "сделать пиздато" имеет отношение? ;-) )

обрастает свои DSL в терминах языка на котором он реализован и часто хочется вытащить этот DSL в скрипты

Я про то, когда это одно и то же. Выше у тебя был список чтобы (по сути) "DSL" свести к практически применимому C. Исходная мысль была такая что c++ над c, c над asm, asm над bincode, bincode над hardware (ну как бы, бывает microcode или унутре транслируется в risc-подобное и только потом...). Но если так, надо уметь в "над c++", улавливаешь?