Здравствуйте, Mamut, Вы писали:

M>Плюс есть дополнительные сложности, о которых никто не хочет говорить:
Давно всё сказано. Но не услышано.

M>- как эти DSL'и дебажить?
Отладчиком.

M>- как находить в них ошибки?
Как в обычном коде.

M>- как доказывать правильность этих DSL'ей?
Динамически типизированный свистит про доказательства... ну начни с доказательства правильности эрланга.

M>- как тестировать программы, на них написаные?
Как обычные.

M>- как их встраивать?
Сами встраиваются.

M>- как поддерживать удобство для пользователей этих DSL'ей (поддержка IDE и прочая)
Из коробки.

M>А вот использование этих языков — это большой вопрос (вопросы), на которые нет ответа даже у самых ярых апологетов DSLей.
Может, ты читать начнешь, что тебе пишут?