Документ посвящён доменно-специфическим языкам (DSL), их концепциям, применению и примерам на Java. Рассматриваются различные типы DSL, их синтаксис, преимущества и недостатки, а также инструменты и методы внедрения. Автор делится своими наблюдениями о развитии и эволюции языков программирования в контексте DSL.

1. Domain Specific Languages Игорь Хотинь E-mail: khotin@gmx.com

2. Background 10+ лет в IT-индустрии

3. 6+ лет с Java

4. Agile-практик

5. Сторонник гибкого дизайна

6. Наше удивительное путешествие... Введение в DSL

7. Пример DSL

8. Java и DSL

9. Перспективы

10. Q&A

11. Что такое DSL? Сленг - атрибут профессиональной среды

12. Что такое DSL? Domain-Specific Language – это ограниченный язык программирования заточенный под определённую область применения Сленг - атрибут профессиональной среды

13. Кто использует DSL?

14. Ретроспектива DSL Термин DSL появился сравнительно недавно

15. Сама концепция широко применялась в индустрии десятки лет

16. 4GL, MDD, MDA...

17. Unix shell grep awk make lexx yacc troff

18. DSLs PostScript, VRML, POV-Ray

19. Csound, PureData

20. Maple, Maxima

21. QuakeC, UnrealScript

22. макросы Lisp и словари Forth

23. XML XPath

24. XQuery

25. XSLT

26. XSL-FO

27. …

28. Конфигурации приложений

29. Что считать DSL? Субъективная перспектива

30. Эволюция языков Logo – загадочные черепашки

31. Erlang – родом из DSL

32. Формы DSLs Internal DSLs API vs DSL

33. OpenGL

34. Lisp

35. Forth

36. Rebol External DSLs

37. DSL Фокус

38. Песочница API Возможности Функциональность

39. Синтаксис DSL Лаконичный синтаксис

40. Валидация бизнес-логики

41. Доступность Еще один язык API Поддержка IDE Громоздкий синтаксис

42. Тесты и условия для валидации

43. Доступность ограничена

44. Домен DSL Гибкий дизайн

45. Понимание домена API Однообразность Сложно выделить домен

46. Regular Expressions RegExPattern pattern = new RegExPattern(); pattern .add( "http://" ) .openBlock() .add( RegExPattern. DIGIT ) .add( RegExPattern.SYMBOL ) .add( "." ).add( "-" ) .closeBloc().add( RegExPattern. ONE_OR_MORE ) .openBlock() .add( RegExPattern. SYMBOL ) .closeBloc().times( 3 ); pattern .match( " http://regex.test.org " );

47. Regular Expressions " http://regex.test.org " .matches( "http:\\/\\/[A-Za-z0-9\\.-]*\\.[A-Za-z]{3}" );

48. Pizza Wars Java Pizza

49. XML Pizza

50. Decaf Pizza

51. Java Pizza public void makePizza() { PizzaRobot robot = PizzaRobot.getInstance(); robot .establishCrust( Crust.MEDIUM_AND_THIN ); robot .addSauce( Sauce.TOMMATO , 30 ); robot .addCheese( Cheese.CHEDDAR, 150 ); robot .addMushrooms( 200 ); robot .addOlives( 50 ); robot .pack(); }

52. Java Pizza public void makePizza() { PizzaRobot robot = PizzaRobot.getInstance(); robot .establishCrust( Crust.MEDIUM_AND_THIN ); robot .addCheese( Cheese.CHEDDAR, 150 ); robot .addMushrooms( 200 ); robot .addOlives( 50 ); robot .addSauce( Sauce.TOMMATO , 30 ); robot .pack(); }

53. Java Pizza public void makePizza() { PizzaRobot robot = PizzaRobot.getInstance(); robot .establishCrust( Crust.MEDIUM_AND_THIN ); robot .addCheese( Cheese.CHEDDAR, 150 ); robot .addMushrooms( 200 ); robot .addOlives( 50 ); robot .addSauce(Sauce.TOMMATO, 30); robot .pack(); }

54. Java Pizza public void makePizza() { PizzaRobot robot = PizzaRobot.getInstance(); robot .addCheese( Cheese.CHEDDAR , 150 ); robot .addMushrooms( 200 ); robot .addOlives( 50 ); robot .pack(); }

55. Java Pizza public void makePizza() throws IOException { PizzaRobot robot = PizzaRobot.getInstance(); robot .addCheese( Cheese.CHEDDAR , 150 ); robot .addMushrooms( 200 ); Socket socket = new Socket( "localhost" , 80 ); robot .addOlives( 50 ); robot .pack(); }

56. Java Pizza

57. XML Pizza <pizza> <crust size=&quot;medium&quot; thikness=&quot;thin&quot;> <chesse> <name>Cheddar</name> <quantity>150</quantity> </cheese> <mushroms><quantity>200</quantity></mushroms> <olives><quantity>50</quantity></olives> <sauce> <name>tomato</name> <quantity>50</quantity> </sauce> </crust> </pizza>

58. XML Pizza <pizza> <crust size = &quot;medium&quot; thikness = &quot;thin&quot; > <chesse> <name> Cheddar </name> <quantity> 150 </quantity> </cheese> <mushroms><quantity> 200 </quantity></mushroms> <olives><quantity> 50 </quantity></olives> <sauce> <name> tomato </name> <quantity> 50 </quantity> </sauce> </crust> </pizza>

59. XML Pizza public void makePizza() { PizzaRobot robot = PizzaRobot.parseRecipe( &quot;capricciosa.xml&quot; ); robot .make(); }

60. Decaf Pizza capricciosa.pizza: On medium thin crust add: sauce tomato 30 chesse Cheddar 150 mushroms 200 olives 50 pack public void makePizza() { PizzaRobot.execute( &quot;capricciosa.pizza&quot; ); }

61. Decaf Pizza capricciosa.pizza: sauce tomato 30 chesse Cheddar 150 mushroms 200 olives 50 Pack >> Error! No crust defined!

62. Java Pizza public void makePizza() { PizzaRobot robot = PizzaRobot.getInstance(); robot .establishCrust( Crust.MEDIUM_AND_THIN ); robot .addSauce( Sauce.TOMMATO , 30 ); robot .addCheese( Cheese.CHEDDAR, 150 ); robot .addMushrooms( 200 ); robot .addOlives( 50 ); robot .pack(); }

63. XML Pizza <pizza> <crust size = &quot;medium&quot; thikness = &quot;thin&quot; > <chesse> <name> Cheddar </name> <quantity> 150 </quantity> </cheese> <mushroms><quantity> 200 </quantity></mushroms> <olives><quantity> 50 </quantity></olives> <sauce> <name> tomato </name> <quantity> 50 </quantity> </sauce> </crust> </pizza>

64. Decaf Pizza capricciosa.pizza: On medium thin crust add: sauce tomato 30 chesse Cheddar 150 mushroms 200 olives 50 pack

66. Voodoo Magic Компиляторы и интерпретаторы

67. Voodoo Magic Возможности, полезные для внутренних DSL аннотации

68. аспекты

69. reflection

70. динамическая загрузка кода

71. Voodoo Magic Tools Препроцессоры

72. Генераторы кода

73. Интерпретаторы

74. Компиляторы

75. Voodoo Preprocessors Простота реализации

76. Прозрачность интеграции Избыточные зависимости в коде

77. Относительная простота Ограниченная интеграция с IDE Voodoo Generators

78. Усложнение стукруры проекта

79. Нельзя изменять сгенерированный код

80. Легко модификациями в DSL или генераторе поломать код на Java Voodoo Generators

81. Проще, чем компиляторы Медленнее байт-кода

82. Необходима поддержка в Run-time Voodoo Interpreters

83. Все преимущества байт-кода JVM Сложность реализации и поддержки Voodoo Compilers

84. Voodoo JVMagic Стабильная мультиплатформенная среда

85. Верификация кода

86. Безопастность

87. Hotspot-компиляция

88. State of the art garbage collector

89. JRuby работает быстрее, чем родная имплементация Ruby

90. Синтаксис DSL должен отражать домен

91. Следует избегать синтаксического сахара

92. DSL должен предоставлять высокий уровень абстракции

93. Хороший DSL изолирует

94. нас от сервисного уровня

95. и других доменов Voodoo Syntax

96. Генераторы parser-ов ANTLR - ANother Tool for Language Recognition

97. JavaCC

98. SableCC

99. Coco/R

100. Bytecode Jasmin

101. Jamaica

102. Asm

103. Javassist

104. Xtext – Language Development Framework

105. Основан на Eclipse Modeling Framework

106. Интеграция DSL в Eclipse

107. Подсветка и валидация синтаксиса – Out of the box

108. Meta Programming System Сергей Дмитриев и Language Oriented Programming

109. JetBrains MetaProgramming System

110. IDE для DSL – подсветка синтаксиса, автодополнение, контекстный поиск

111. Meta Programming System

112. Meta Programming System

113. Meta Programming System Чем не IDE?

114. Что со всем этим делать?

115. Внедрение DSL Технология подразумевает компромиссы

116. Внедрение в экосистему проекта – утилиты, средства мониторинга, тесты

117. DSL – это не только синтаксис и транслятор, но и весь инструментарий, тесты, документация и библиотеки времени исполнения

118. Тесты – важнейший элемент инфраструктуры DSL

119. Внедрение DSL

120. Внедрение DSL

121. DSL и дизайн Архитектура, как набор DSL

122. Java + динамические и функциональные языки + DSLs = ultimate platform

123. Java Изменение парадигмы одна платформа = один язык

124. Инновации и Java

125. Рост популярности функциональных языков = рост популярности DSL

126. Всего лишь байты...

127. Спасибо!

128. Ресурсы http://martinfowler.com/dsl.html

129. http://www.eclipse.org/Xtext

130. http://www.jetbrains.com/mps

131. http://www.antlr.org

132. http://jasmin.sourceforge.net

133. http://asm.ow2.org

134. Литература Sergey Dmitriev, JetBrains, 2004. Language Oriented Programming: The Next Programming Paradigm.

135. Martin Fowler, 2010. Domain-Specific Languages

136. Fergal Dearle , 2010. Groovy for Domain-Specific Languages

137. Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman, 2006. Compilers: Principles, Techniques, and Tools (2nd Edition)

138. Контакты E-mail: [email_address] Blog: ikhotin.com Twitter: chaostarter linkedin .com/pub/igor-khotin/5/193/257