Без заголовка

а) неплохо бы спросить суперкомпиляторщиков, считают ли они это суперкомпиляцией :)) б) я вот не очень понимаю про "фронтэнды DSL" -- все больше склоняюсь к тому, что DSL не является обязательно языком написания моноязыковых "предметных модулей" ("внешним DSL"). Вполне возможно, что жизнь идет в сторону внутренних DSL, из которых внешний DSL делается неупоминанием всех других возможностей, кроме требуемых. Я вот прямо сейчас пытаюсь разложить описание деятельности на основе ситуационной инженерии методов на ряд DSL. Самые интересные при этом картинки -- где можно наблюдать взаимодействие групп описаний пары заинтересованных сторон с разными их DSL. Например, если для архитектуры (функции-конструкция или цели-средства) добавить язык обоснований (аргументы), или указывать чьи требования (добавить позиции к целям).