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

Я вот сегодня все утро размышляю, так ли мне самому нужен графический язык? И отвечаю примерно так же, как авторы BETA: мне самому может оказаться удобней с текстом (в котором все DSL представляются единообразно), а графика нужна только для объяснений экспертам-предметникам (хотя люди в BETA говорят, что еще и программистам-новичкам для освоения данного конкретного кода программы), им разношерстные графические DSL удобней. Насчет Higher Order Logic я согласен, но это же относится и ко всему остальному -- железо и функциональным софтом моделируют, и объектно-ориентированным, и модельным... Универсальность в моделировании, думаю, связана с мультипарадигмальностью. Причем эта мультипарадигмальность, скорее, свойство одного языка, а не просто возможность сочетать разные языки. Пока мультипарадигмальность есть в объектно-функциональных языках типа SCALA и функционально-логических типа Curry. Кей-пиуматровские люди экспериментируют с объектно-функциональными языками, добавляя к ним логический язык H, но я пока не понимаю этого способа работы. Мне кажется также, что универсальность моделирования в легкости многоуровневых описаний -- и пока какой-то хоть как-то развитый язык для этой многоуровневости я нахожу только у суперкомпиляторщиков (ибо им приходится говорить про идентичность программ разной структуры, и нужно было разработать язык для описания инвариантов исполнения кода разного уровня "переваренности" компилятором).