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

Мне лично DSL и символьные вычисления видятся концепциями ортогональными, независимыми друг от друга. Ну т.е. для символьных вычислений конечно хочется использовать удобные DSL а DSL реализовывать с помощью символьных вычислений, но это возможности, которые слабо ограничивают развитие друг друга. Все же создание DSL - это очень затратное занятие, тулзы тут мало помогают. Т.е. персонально для себя я могу легко сделать DSL и без тулзов. Но для коммуникации с другими (и с самим собой в будущем) DSL сделать трудно, и никакой инструментарий тут не поможет. К примеру, Сан когда добавлял в Джава дженерики (что-то типа Сишных темплейтов), заказывал какому-то университету доказательство корректности. И все равно у них кривовато получилось. А ведь это изменение даже на DSL не тянет. Создание массового языка - это очень и очень сложная задача до сих пор. А маленький язычек для узкой группы всегда было не так уж и сложно сделать. Я к примеру часто одну и ту же проблему решают 5-10ю разными способами с применением разных языков и методологий, чтобы четко понимать задачу. Потом все выбрасываю нафиг, пишу на Жабе - так привычнее.