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

Мне кажется, что тут не хватает обобщающей постановки вопроса -- с одной стороны, в таких терминах, чтобы охватывать и "традиционные DSL", и символьные вычисления, и прочую компиляторную тематику, и вопросы метамоделирования, а с другой стороны -- чтобы можно было выходить на какие-то облегчающие жизнь архитектуры IDE. Идея тут в том, что сами DSL имеют версии (и сегодня развитие DSL обязательно подразумевается в инструментарии! Это явно оговаривается, что у DSL есть жизненный цикл). Поэтому маленький язычок для узкой группы имеет шанс стать успешным и использоваться более широкими группами. Ну, и все то же самое, что относится к любым стандартам: конкуренция предметных языков, различные их группировки, реализация семантики/абстрактного синтаксиса путем вмазывания в другие конкретные синтаксисы и обильного посыпания синтаксическим сахаром, попытки неожиданного применения в совсем других областях (так, автор Tcl меньше всего ожидал, что на нем начнут писать программы общего вида, для него этот Tcl был именно что DSL для командных применений) и т.д. Нужно сделать язык, на котором можно было бы конструктивно обсуждать весь этот сложный круг вопросов. А то сейчас тут как с моделированием данных (которое называется и онтологиями, и моделированием данных, и семантическим вебом, и созданием схемы базы данных, и чем только не называется, в зависимости от тусовки -- это отмечается в книжке Andries van Renssen по Gellish).