Без заголовка
Эти споры (про функциональный подход к архитектуре и OO-подход), кстати, до сих пор ведутся (их поминает тот же Robert Cloutier, например) -- но сейчас все склоняется к синтезу этих парадигм.
DSL, мне кажется, и есть этот магистральный путь. И с языкознанием, конечно, очень сильные параллели. Напомню: я встретился с лингвистами как-то -- http://ailev.livejournal.com/686890.html
Вчера я сильную ссылку привел: там описывается, как изменяется жизнь, если операционную систему и компилятор сознательно смешать в одно целое -- http://www.vpri.org/pdf/m2009007_COLA_kern.pdf
Я понимаю, что "язык" -- ключевая линия. Другая линия для того же самого называется -- "модели" (и эта линия про то же самое, но в совсем другом онтологическом пространстве, не сводима к "языку", все в ней пока все другое).