Суть рассматриваемой темы — если по-простому — такова: на каком языке удобнее описать решение стоящей задачи, такой и будем использовать. Если таковой не обнаружится, то создадим его. Технология отличается от Domain Specific Language (DSL) тем, что удается описывать семантику произвольных языковых конструкций, опять же, на удобной для этого языке (т.е. решаем новую задачу, или выполняем семантическую рекурсию). А в подходах DSL (SymADE, Intentional Programming, JetBrains, Nemerle и др.) все, в конечном итоге, описывается на некотором фиксированном (си-подобном) языке.

Пожалуй, еще фишка в том, что используется онтология с четерьмя типами связей между понятиями: т.е. связи между понятиями не несут семантической нагрузки, а потому не зависят от решаемой задачи.

В итоге, как мне кажется, предлагается развивать выразительные возможности используемых языков. Фактически, современные языки программирования — языки Эллочки Щукиной (Ильф и Петров, 12 стульев). Можно, конечно, закрыть глаза на эту проблему, однако основной вектор развития технологий программирования направлен именно в эту сторону (язык Z спецификаций в Оксфорде, система Масима Кизуба SymADE, Intentional Programming Чарзльза Симони, meta-programming system питерских JetBrains, Nemerle и др.)