JetBrains MPS: Projectional Editing in Domain-Specific Languages
1 like433 views
JetBrains MPS is a language workbench that allows for projectional editing in domain-specific languages. It enables the combination of multiple languages in code by separating a language's definition into aspects like abstract syntax, concrete syntax, and code generation. This allows languages to have rich syntaxes and notations without being limited by parsing. MPS uses model-to-model and text transformations to map between language concepts and implementation domains through code generation.
JetBrains MPS: Projectional Editing in Domain-Specific Languages
- 1. JetBrains MPS Projectional editing in domain-specific languages Václav Pech
- 2. Programming had been invented before we were born.
- 4. Capabilities New language GPL (Java, C, etc.) extension Combine multiple languages in code
- 6. Now IDEs
- 7. Programming R A B C D R R A B C D R R A B C D RText Text Binary edit parse saveediting compile parse Compiler
- 8. Programs are trees R A B C D G R E F
- 9. Lisp (1958) (+ (* 2 3) 4) + * 4 2 3
- 13. Children have roles R A IfStatement Expr StmtList G R E F condition body Models composed of nodes
- 14. References cross the tree R Routine def B Call D G R E F
- 15. Languages are sets of concepts C1 C2 C3 Cn L1 L2
- 19. Programs and Languages R A B C D G R E F C1 C2 C3 Cn L Models consist of nodes Meta-models consist of concepts
- 20. Questions
- 21. Programming today R A B C D R R A B C D R R A B C D RText Text Binary edit parse saveediting compile parse Compiler
- 22. What has changed since 1950's ● Much higher computing power ● Different types of computers ● Different types of applications ● Non-professional programmers ● Non-textual notations ● AI ● Touch devices, gestures, voice recognition
- 23. The electric light did not come from the continuous improvement of candles Oren Harari
- 24. Local or global optimum?
- 25. Too narrow view of programming?
- 26. Revolutions come from discontent people
- 27. Finance Rules “coded“ in Word – No real IDE – No completion – No syntax checks – No code analysis – No type-checks – Not even coloring
- 28. Finance
- 29. Finance
- 30. Finance
- 31. Finance
- 32. Finance
- 35. Government A major provider of tax software – The tax law is complex – The law is changed frequently and with short notice – The software fails to keep pace with the changes Needed a higher-level language abstraction with code generators
- 36. Healthcare Software Medical Devices Accessible to Doctors Robustness and Correctness Required To be FDA-certified Needs to run on multiple target platforms – IOS – Android – JavaScript
- 39. Business value Up-front investment - ramp-up time and effort Effort Functionality LE GPL
- 40. Up-front investment Saves cost with increased repetition – features, versions, projects, etc. Prefer gradual language evolution
- 41. Questions
- 42. JetBrains MPS High thoughts must have high language. Aristophanes
- 43. Textual editing R A B C D R R A B C D R R A B C D RText Text Binary edit parse saveediting compile parse Compiler
- 44. Projectional editing R A B C D R R A B C D Redit save editing R A B C D R
- 45. Projectional editing R A B C D R R A B C D R R A B C D RText Binary edit save editing compile parse Compiler R A B C D R generate
- 46. Projectional editing R A B C D R R A B C D R R A B C D R Binary edit save editing compile Compiler R A B C D R generate
- 50. by Jens Nerche @jensnerche Rich syntaxes
- 53. Positional notations <no variables> <no parent> <no libraries> <no business objects> <no parent>
- 57. Parsing is the bottleneck … of language expressiveness ● Limits the possible syntaxes ● Allows only one editable code visualization ● Complicates combining languages
- 58. Aspects of language definition
- 59. Aspects of language definition ● Abstract syntax ● Concrete syntax (editor) ● Static semantics ● Constraints ● Type-system ● Dataflow ● Execution semantics / Generator ● IDE support
- 60. Aspects of language definition ● Abstract syntax ● Concrete syntax (editor) ● Static semantics ● Constraints ● Type-system ● Dataflow ● Execution semantics / Generator ● IDE support
- 63. Aspects of language definition ● Abstract syntax ● Concrete syntax (editor) ● Static semantics ● Constraints ● Type-system ● Dataflow ● Execution semantics / Generator ● IDE support
- 66. Questions
- 67. Aspects of language definition ● Abstract syntax ● Concrete syntax (editor) ● Static semantics ● Constraints ● Type-system ● Dataflow ● Execution semantics / Generator ● IDE support
- 68. Code generation R A B C D R R A B C D R R A B C D RText Binary edit save editing compile parse Compiler R A B C D R generate
- 69. Generators Map solutions from a problem domain to an implementation domain ● Transform models ● Output models or text
- 71. Java source MPS BaseLang Text generation Code generation
- 72. Java source MPS BaseLang Text generation Model to model transformation Closures Date/Time Code generation
- 73. Java source MPS BaseLang Text generation Closures Date/Time Model to model transformation Custom 2 Custom 1 Model to model transformation Code generation
- 74. Java source Code generation XML config SQL LanguagesLanguages ExtensionsExtensions Application code
- 75. Multi-staged transformation ● bridge the big semantics gap in smaller steps ● reuse of steps ● evolution of languages built one on top of another Cascading generators
- 76. Model-to-model transformation R A B C 10 EUR R Currency Money Language MoneyLiteral („10 EUR“) „new Money(10, EUR)“ Java R A C new Money R B
- 77. Questions
- 78. Typical risks Language design takes effort – Adds to the cost of the project → need for reuse Language design skills – Steep learning curve – What goes into the language – How to make it elegant Cultural challenges
- 79. Books
- 81. Books ● http://books.campagnelab.org ● http://dslbook.org ← He is a Biologist! https://www.jetbrains.com/mps/publications
- 82. The limits of language are the limits of one's world Ludwig Wittgenstein
- 83. Questions Want more? http://www.jetbrains.com/mps http://blog.jetbrains.com/mps/ Recording will be available at http://www.youtube.com/JetBrainsTV Send feedback to @vaclav_pech Follow us at @jetbrains_mps