Ад спортивных программистов?

[metaclass]

http://dev.by/blogs/main/kuda-uhodyat-chempiony-sportivnogo-programmirovaniya
"НТ ООО «ЛюксСофт». Инженер-программист. В последнее время занимаюсь разработкой предметно-ориентированного языка программирования для нашего продукта."

За разработку самодельных встроенных языков надо отправлять добывать уран, самодельными ломами и лопатами.

Comments

[blacklion.livejournal.com]

EDSL к встраиваемому языку общего назначения.
Если этот язык позволяет просто в себя впихнуть выразительный eDSL. Много таких?

[justy-tylor.livejournal.com]

Из распространённых - Lua, Python, Ruby, лиспы.

[blacklion.livejournal.com]

Лиспы? Только с ридер-макро (не путать с просто макрами лисповыми). Ох. Ну да, там что угодно можно делать.

В Lua, Python и Ruby будут болтаться ошмётки по сторонам по сути не нужные, и оставленные только что бы удовлетворить парсер языка, я уверен на 100%. Ну или язык будет встраиваться в строку типа eDSLEval("..."); :)

[justy-tylor.livejournal.com]

Про ошмётки всё верно. Эта цена платится за возможность в одной строке работать на уровне запросов ISO 15926, а в следующей работать с результатами в терминах множеств и алгоритмов хост-языка.

Можно разработать свой язык общего назначения, обладающий лучшей расширяемостью. Но это ад, длительные и рискованные исследования. Я тоже исследую. Но не ставлю в зависимость от этого проекты и команды.

[blacklion.livejournal.com]

Не нужна ни в каком конкретном проекте универсальная расшряемость, вот в чём дело-то!

[justy-tylor.livejournal.com]

Тем не менее, для простой задачи "специалист предметной области хочет посмотреть выборку по датасету" оказываются нужны и операции над множествами, и функции высших порядков.

Основная проблема с требованиями к расширяемости в том, что они сами имеют тенденцию расширяться. Была в прошлом одна история. Дизайнеры запросили возможность скриптовать игровые сценарии как последовательность перемещений и отдельных анимаций - "техник должен пройти оттуда сюда и нажать на кнопку, больше нам ничего не понадобится, точно-точно". Ребята сделали. Затем запрашивались всё новые и новые фичи, вводились паттерны реакций на события (услышал игрока, увидел игрока, сработал таймер, ...), дошло до полускриптованных битв роботов с киборгами. Когда меня перевели на руководство тем отделом, то DSL представлял собой ужасное нечто с ручными уникальными метками состояний на каждой строке. Удалось его несколько облагородить для оставшихся до конца проекта сценариев, оставив совместимость со старыми. Наиболее разумным решением было бы прямое применение Lua, благо он и так использовался в том проекте. Однако, в момент поступления задачи "техник нажимает на кнопку" некому было предугадать последствия.

[blacklion.livejournal.com]

Например, в приводимом вами примере было бы круто иметь язык НА ОСНОВЕ Lua (почему нет?) но с прямым описанием конечных автоматов в синтаксисе, нет?

[justy-tylor.livejournal.com]

Был свой препроцессор для Lua, и "подсахаренные" описания состояний использовались при разработке несценарных моделей поведения игровых персонажей. :)

[blacklion.livejournal.com]

И, кстати, добавить eDSL без кровываых ошмётков ради удовлетворения не нами придуманного синтаксиса обычно удаётся в Хаскеле. И я вполне знаю человека, который на этом колбасит коммерческий куод именно в таком стиле — eDSL под задачу, а дальше это выглядит как срипт на оченьт специальном но СРАЗУ ПОНЯТГНОМ языке. Нужен конечный автомат? Вот пролог, а вот конечный автомат скопированный из описанния протокола как етсь (И ставшщий КОДОМ, который проверяется на типы, компилируется, оптимизируется и всё это забесплатно практически). Нужен парсер? Вот пролог, а вот грамматика в EBNF, прямо как в стандарте на формат, копипастом из документации в код скопированная. И так далее.

[justy-tylor.livejournal.com]

Хаскель в синтаксическом плане хорош. Но для продвинутых программистов. Я бы не доверил специалисту-предметнику на нём писать (а потом бегать с логами ошибок компиляции).

[thesz.livejournal.com]

Ошибки там типические.

То есть, "если вот такое сообщение, то ты вот тут сделал не так". Достаточно завести словарик таких ошибок.

[rdia.livejournal.com]

Чисто в целях просвещения меня - а сразу добавить этот словарик в компилятор нельзя?

[thesz.livejournal.com]

Нет.

Это же специфично для каждого конкретного встроенного языка.

[rdia.livejournal.com]

А-аа! Спасибо!