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

Ничего не сказано, кроеме твоего пафоса и оскорблений собеседников

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

Который появится откуда?

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

Каким образом?

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

Ну да, зачем отвечать, если можно 1) оскорбить 2) перевести тему

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

Подробнее

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

Ложь

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

Ложь

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

Твою ложь читать?