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

По этой причине я не верю в external DSL: общая задача создания нового языка так трудна, что инструментарием типа MPS ее не решить. Таким инструментарием можно упростить манипуляции с кодом, но это лишь верхушка айсберга. А проблему комплексирования разных формализмов такие тулзы не решают, и тому есть фундаментальные ограничения (вроде проблему NP-полных задач, но не только). Мне вот магистрально видится такой путь решения проблемы взаимодействие формализмов: 1. описание базовых формализмов на Higher Order Logic 2. создание тулзов которые умеют автоматически решать различные фрагменты HOL преимущественно фрагменты First Order Logic 3. создание тулзов автоматически извлекающих спецификации (работающих естественно не в 100% случаев) 4. ну и специальное образование + специальные юзерские интерфейсы, заточенные на интеграцию всего этого Условно - свести все к формальной логике и пытаться где можно решать задачу с помощью компьютера, в трудных случаях обращаясь за помощь к человеку. Такая комбинация уже сейчас может решать много проблем софтостроения полуавтоматически.