Никита Козлов «DSL без купюр»

Три буквы, о которых многие слышали, кто-то видел, но при начальстве их не все решаются произносить. Предлагаю поговорить о DSL: domain specific language. Постараемся выяснить, как оценить все "за" и "против", и есть ли смысл придумывать свой язык. Я поделюсь личным опытом реализации DSL на основе C# + ANTLR и подводными камнями, с которыми пришлось столкнуться. Обсудим "удобную" архитектуру транслятора и пути реализации инструментов разработки языка.

Transcript

1. DSL без купюр IT Global Meetup, Санкт-петербург 6 июня 2015 Козлов Никита, MySale Group
2. Обо мне
3. План Теория ― Какие задачи может решить DSL ― Что такое DSL ― Разновидности DSL ― Границы DSL ― Жизненный цикл DSL Практика ― ANTLR ― Семантическая модель ― Транслятор
4. Пример <PropertyGroup> <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration> <Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform> <ProjectGuid>{0F68510D-80C8-4B59-9301-ED77611AAF0D}</ProjectGuid> <OutputType>Library</OutputType> <AppDesignerFolder>Properties</AppDesignerFolder> <RootNamespace>Antlr.SemanticModel</RootNamespace> <AssemblyName>Antlr.SemanticModel</AssemblyName> <TargetFrameworkVersion>v4.5</TargetFrameworkVersion> </PropertyGroup>
5. Пример <Button Content="Click Me" Click="OnButtonClick"> <Button.Background> <LinearGradientBrush> <LinearGradientBrush.GradientStops> <GradientStop Color="Yellow" Offset="0" /> <GradientStop Color="Green" Offset="1" /> <LinearGradientBrush.GradientStops> </LinearGradientBrush> </Button.Background> </Button>
6. Предметно-ориентированные языки ― Производительность ― Улучшение связи с экспертами ― Косметический фасад
7. Предметно-ориентированные языки Задачи становятся более лёгкими для понимания ― Быстрее писать ― Легче понимать ― Меньше ошибок
8. Предметно-ориентированные языки ― Язык программирования ― Природа языка ― Ограниченные выразительные возможности ― Ориентированность на предметную область ― Что делать, а не как делать
9. Разновидности DSL ― Внешний DSL ― Внутренний DSL ― Языковые инструментальные средства
10. Границы DSL
11. Зачем нужен DSL Плюсы ― Производительность ― Улучшение связи с экспертами ― Простота разработки ― Простота поиска ошибок ― Простота понимания Минусы ― Отсутствие плюсов ( которые стоят затраченных усилий )
12. Жизненный цикл DSL ― Анализ предметной области ― Взаимодействие с экспертами ― Выделение ограничений ― Выделение бизнес проверок ― Развитие ― Поддержка
13. Архитектура обработки DSL ― Сценарий DSL ― Синтаксический анализ ― Семантическая модель ― Генерация ― Целевой код
14. AST или 2+(5-5) calculator : statement+ statement : expression expression : multexpression ( ( PLUS | MINUS ) multexpression )* multexpression : atom ( ( MULT | DIV ) atom )* atom : INT | LPAREN expression RPAREN
15. Тестирование DSL ― Синтаксис ― Семантика ― Неверные входные данные ― Сценарии ― Обработка ошибок
16. Внешний DSL своими руками ― ANTLR ― MSVS ― Литры кофе 
17. Практика Примеры
18. Архитектура транслятора ― Пайплайн ― Расширяемость ― Конфигурабельность ― Унифицированный интерфейс Обработка скрипта Бизнес логика Генерация «кода»
19. Кодогенерация ― Семантическая модель ― Генерация в паблик контракт ― Генерация на основе шаблонов ― Генерация на основе преобразования
20. Подводные камни ― Восстановление от ошибок ― Конфигурабельность на уровне ключей компилятора ― ...
21. Спасибо за внимание!
22. Полезные ресурсы ― Альфред В. Ахо, Моника С. Лам, Рави Сети, Джеффри Д. Ульман. Компиляторы: принципы, технологии и инструментарий — 2 изд., ISBN 978-5-8459-1349-4 ― Мартин Фаулер. Предметно-ориентированные языки программирования, ISBN 0-321-71294-3 ― antlr.org ― https://www.nuget.org/packages/Antlr/ ― Visual Studio Gallery: ANTLR Language Support