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

M>>>- как эти DSL'и дебажить?
WH>>Отладчиком.
M>Который появится откуда?
Который есть из коробки. Поставь немерле да посмотри.

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

M>>>- как доказывать правильность этих DSL'ей?
WH>>Динамически типизированный свистит про доказательства... ну начни с доказательства правильности эрланга.
M>Ну да, зачем отвечать, если можно 1) оскорбить 2) перевести тему
Ты лицемер. То ты утверждаешь, что статическая типизация не нужна.
То доказательства подавай.

M>>>- как тестировать программы, на них написаные?
WH>>Как обычные.
M>Подробнее
Код на ДСЛ не отличается от любого кода.
И тестируется точно так же как любой код.

M>>>- как их встраивать?
WH>>Сами встраиваются.
M>Ложь
M>>>- как поддерживать удобство для пользователей этих DSL'ей (поддержка IDE и прочая)
WH>>Из коробки.
M>Ложь
Я этим каждый день пользуюсь.
Я ты продолжай ничего не видеть.
Так же проще.