Download to read offline
Uploaded byPyNSK
Как и зачем можно создать DSL на Python
Доклад Михаила Воротынцева о разработке предметно-ориентированного языка (DSL) на Python обсуждает создание синтаксиса для описания рабочих процессов, включая задачи, действия и сущности. Упоминаются ключевые концепции, такие как синтаксические конструкции, создание синтаксического анализатора и использование готовых решений, например, проекта textX. Обсуждаются возможные применения DSL в инфраструктурных и научных проектах, а также в аналитике.
More Related Content
Similar to Как и зачем можно создать DSL на Python
Как и зачем можно создать DSL на Python
- 1. Как и зачемсделать DSL Реализация DSL на Python Доклад для #pynsk
- 2. Кто докладчик? Михаил Воротынцевbackend-разработчик. Давно и много пишу на python и не только. Стараюсь поддерживать IT-движуху.
- 3. Domain-specific language ● Предметно-ориентированныйязык это специализированный для конкретной области применения язык, имеющий выраженный (отличительный от других) синтаксис и имеющий довольно узкую область применения.
- 4. Domain-specific language ● Предметно-ориентированныйязык это специализированный для конкретной области применения язык, имеющий выраженный (отличительный от других) синтаксис и имеющий довольно узкую область применения. Почему это узкая область?
- 5. Например: SQL, QML, YAML,JSON, ini-file, GraphQL и многие другие...
- 6. Какая задача можетпоявиться? Предположим: Нам нужно сделать язык описания рабочего процесса.
- 7. В нем должнобыть: ● Описание задач и их последовательности. ● Описание действий. ● Описание сущностей участвующих в процессе.
- 8. И на всеэто свой синтаксис? Надо подумать как он может выглядеть.
- 9. Во-первых, в рабочем процессебудет: Действия Задачи Описание
- 10. Действия можно описатьтак: <ключевое слово> <название> «<описание>»
- 11. Задачи тоже можноописать так: Задачи будут выстраиваться в последовательность с помощью: next <список следующих задач>
- 12. Задачи в последовательностиобразуют граф: В простых случаях ациклический направленный граф.
- 13. Уже неплохо. Но что-тозабыли!
- 14. Сущности в рабочемпроцессе тоже нужны. Сделаем описание похожим на что-то привычное: классы, структуры в знакомых нам языках. Типы полей тоже выглядят привычно.
- 15. Сущности могут бытьсвязаны: Одни сущности могут быть полями в любых других.
- 16. Разнообразие сущностей. Грядет многосущностей. А как же в исполняемом коде определять какие у них есть возможности?
- 17. Нужно что-то вроденаследование. Какие-то системные сущности будут наделять поведением пользовательские сущности. Сделаем конструкцию import
- 18. Дополним описание действийсущностями. Определены основные синтаксические конструкции нашего DSL. Пора как-то разбирать этот код. Как же это делать?
- 19. Намечается такой путьрешения. ● Нужно создать синтаксический анализатор. ● Подходит исходящий синтаксический анализатор. ● Нужно получит решение реализующие метод рекурсивного спуска чтобы сконструировать наш язык через контекстно свободную грамматику.
- 20. Успешное решение близко. ●Нужно создать какую-то свою грамматику разбирающую выражения. ● Эта РВ-грамматика должна получится похожа на регулярные выражения и на контекстно- свободные грамматики. ● Можем использовать расширенную форму Бэкуса-Наура или сделать что-то похожее.
- 21.
- 22. Оу.. Много сложных штукнадо написать. Много времени уйдет. Еще и тестировать.
- 23. Конечно, взять готовое! Естьготовое решение с документацией и лицензией MIT. Примеры и обучающие материалы http://igordejanovic.net/textX/ Обязательно ознакомьтесь с проектом.
- 24. Теперь мы можемописать грамматику и код. В переменной code строка кода с тем самым примером блока кода для конструкции import
- 25. Описание грамматики дляimport. Строка с описанием грамматики.
- 26. Ой, точно! Забыли комментарии.Добавим в грамматику: Верно, нам нужны комментарии.
- 27. В коде пользоватьсяочень просто. Мета-модель грамматики позволяет создать модель объектов кода по любому валидному тексту кода (в нашем случае он в переменной code)
- 28. Все нужные объектыбудут созданы. Грамматика Код
- 29. Сделать остальные конструкции нена много сложнее. Типы данных и сущности с их свойствами можно легко описать.
- 30. Для этого кодаподойдет такая грамматика:
- 31. Можно сделать грамматикудля существующих языков. Например: вот так можно описать грамматику JSON
- 32. Новые возможности. ● Можнодобавить в JSON грамматику возможность комментирования. ● Можно добавить формат даты и времени. Но это уже не JSON, это уже just for fun.
- 33. Для чего ещеможно использовать? Можно разбирать формулу. Пользователи нашего приложения что-то у себя считают по разным формулам и написали такую, например: (34 + a * -F) + (b ^ 10) * (10.1 + 1/(d - 1)) На этот раз code это некая формула (выражение)
- 34. Грамматика для разборапростых математических выражений:
- 35. И простая функциядля разбора модели:
- 36. С конкретными значениямипеременных вычисляем значение функции: Получится такой вывод: formula: (34.0 + 10 * -0.3) + (0.1 ** 10.0) * (10.1 + 1.0 / (2 - 1.0)) result: 31.00000000111 В реальных условиях не используйте eval!
- 37. А что сзадачей про DSL для рабочего процесса? Она была решена! Решение позволило создать двигатель рабочего процесса на основе своей нотации его описания. ● Celery - основа. ● Умеют одновременно бежать много рабочих процессов с возможностью дожидаться задач друг друга. ● Уже есть базовый набор сущностей. ● Задумано для микросервисной архитектуры.
- 38. Для чего можносоздавать DSL? ● Для инфраструктурных проектов. ● Для научных проектов. ● Еще один язык запросов-ответов. ● Для аналитиков, которые управляют бизнес-объектами в предметной области.
- 39. Время задать вопросы. Есливопросы появятся, пишите в @siberian_unax Благодарю за внимание!