Без заголовка
Хех, это и есть главный вопрос: у вас время выполнения и время редактирования как связаны. В разных IDE на этот вопрос отвечают по-разному (хороший пример тут, например, языки-среды smalltalk -- типа того же Squeak).
У нас никак. За исключением языков для определения языков, которые генерятся в Java, компилируются, и перегружаются.
Это я понял, что вы экспериментировали с псевдографикой. Но ежели вам нужно нарисовать схему детекторного приемника, а символа детектора и катушки в псевдографики нету? По-другому задам вопрос: генерация кода расчета электрической сети возможна, с сохранением удобного редактирования принципиальной схемы этой сети? А с учетом предыдущего абзаца -- расчет (опускаю "генерацию кода", зачем о ней знать пользователю) электрической сети возможен, перемежаемый редактированием этой сети в формате принципиальной схемы? В презентации Intentional Software есть слайд, который прямо отвечает на вопрос о возможности, как минимум, задания языка электрической принципиальной схемы.
У нас для этого придется движок улучшать. Средствами языка для определения редактора это сейчас не сделать.
Насчет реализации OWL на MPS -- интересно именно с онтологической частью: вы семантическую сетку онтологии хранили отдельно, или использовали AST в качестве этой самой семантической сетки?
В смысле семантической сетки? У нас был редактор для OWL, но про семантику он немного знал, хотя везде был комплишен, навигация, итп.
Про суперкомпиляцию где-то слышал, но подробностей не знаю. Почитаю завтра.