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

"Лет десять пытался но не вышло, сейчас вот очередная итерация надеюсь будет" -- ну вот я абсолютно с той же целью задаюсь тут вопросами, хотя меня не именно формальные методы интересуют (просто ответы идут от людей, которых формальные методы главным образом интересуют). Десять лет назад ответов не было, даже не было понятно, победят ли eDSL или standalone DSL, хотя про DSL было уже ясно, что они нужны. Но ответ опять, похоже, "через десять лет" ))) Хотя justy_tylor пишет свой GPL как хост для eDSL, а я за неимением альтернатив получше (хотя мне и указывают на тот же C#) подумываю о том, не задействовать ли eDSL на Julia. Ну, или расслабиться, заняться другими делами, а потом прийти ещё через десять лет и повторить вопросы )))