Language Extension and Composition with Language Workbenches

Transcription

1 Language Extension and Composition with Language Workbenches Eelco Visser TU Delft Markus Voelter Independent/itemis

2 Different Worlds Programming Tools!= Modeling Tools

3 Different Worlds Modeling Tool!= Modeling Tool

4 Different Worlds Mix Models and Programs

5 Different Worlds Mix Models and Programs AST Navigation & Query

6 Different Worlds AST Navigation & Query Mix Models and Programs Integration of 3GL code

7 Different Worlds AST Navigation & Query Mix Models and Programs Integration of 3GL code Code Constraints

8 Why the difference?

9 History?

10 Modeling Programming

11 Modeling Programming (Mostly) Textual Notations Concrete Syntax Storage (Fancy) ASCII Editors Read-Only Visualizations

12 Modeling Programming (Mostly) Graphical Notations Abstract Syntax Storage Projecting Editors Different editable views for model (Mostly) Textual Notations Concrete Syntax Storage (Fancy) ASCII Editors Read-Only Visualizations

13 Why the difference?

14 It is time for

15 a Different Perspective

16 Programming the way we do Modeling? Modeling the way we do Programming?

17 Modeling Programming == == Programming Modeling

18

19 We don t want to model, we want to program!

20 We don t want to model, we want to program! at different levels of abstaction from different viewpoints integrated!

21 We don t want to model, we want to program! with different degrees of domain-specificity with suitable notations with suitable expressiveness

22 We don t want to model, we want to program! And always: precise and tool processable

23

24 Where do we go from here?

25 A vision for programming

26 A vision for programming Enabling Technologies

27 A vision for programming Enabling Technologies Available Tooling

28

29 A vision for Programming

30 Big Language? o a b n c m k L d e j f i h g with many first class concepts!

31 Small Language? L with a few, orthogonal and poweful concepts

32 Modular Language my L a b c d e f g h i j k l with many optional, composable concepts

33 Modular Language Like frameworks and libraries,

34 Modular Language Like frameworks and libraries, but with syntax and IDE support

35 Not a new idea

36

37

38 Growing A Language (Guy L Steele)

39 Language Workbench (Martin Fowler)

40 Language Workbench (Martin Fowler) Freely define languages and integrate them

41 Language Workbench (Martin Fowler)? use persistent abstract representation

42 Language Workbench (Martin Fowler) language ::= + schema + editors generators

43 Language Workbench (Martin Fowler)? projectional editing

44 Language Workbench (Martin Fowler) persist incomplete or contradictory information

45 Language Workbench (Martin Fowler) + powerful editing testing refactoring debugging groupware language definition implies IDE definition

46 Language Workbench (Martin Fowler) support for classical and+ programming classical modeling

47 Syntax primarily textual

48 Syntax primarily textual with more symbols think: mathematics

49 Syntax primarily textual sometimes box&line style

50 Syntax primarily textual sophisticated visualizations

51 Viewpoints

52 Viewpoints suitable abstractions and notations for each

53 Viewpoints Integrated via symbolic references and seamless transitions

54 Viewpoints Business custom purpose-built create/include

55 Viewpoints Business Custom Notations real business expert integration

56 Viewpoints Business Custom Notations real business expert integration But that s another talk

57 Viewpoints Technical predefined library configure

58 Enabling Technologies

59 Enabling Technologies Advanced Parsers

60 Modeling as Programmig (Mostly) Textual Notations Concrete Syntax Storage (Fancy) ASCII Editors Read-Only Visualizations

61

62 Enabling Technologies Projectional Editing

63 Parser-based text to tree to text

64 Projectional tree to text-lookalike (editor) to other trees **+ to text

65 Programming as Modeling (Mostly) Graphical Notations Abstract Syntax Storage Projecting Editors Different editable views for model

66 Programming as Modeling (Mostly) Graphical Any kind of Notations Abstract Syntax Storage Projecting Editors Different editable views for model

67 Language Composition There s no parsing. Unique Language Element Identity. Unlimted language composition.

68 Flexible Notations Textual like ASCII Graphical box & line treated the same can be mixed Semi-Graphical mathematical

69 Automatic IDE Extension tool support is inherent for languages build with projectional tools language definition implies IDE definition

70 Multiple Notations for the same concepts e.g. in different contexts or for different tasks

71 Partial Projections different views for different roles/people only a particular variant

72 Live Programs think: spreadsheet a change to one part of program can lead to (dependent) changes in other parts

73 Tree Editing is different from editing text try to make it feel like text takes some getting used to but: for more flexible notations a more general editing paradigm is needed

74 Infrastructure Integration storage is not text diff/merge must be in tool existing text tools don t work

75 Proprietary Tools no standards no interop

76

77 Available Tooling

78 Available Tooling TU Delft s Spoofax

79 Available Tooling Jetbrains Meta Programming System

80 released in Q currently 1.5

81 Open Source under Apache 2.0

82 Build new standalone DSLs

83 Build new standalone DSLs Build DSLs that reuse parts of other languages

84 Build new standalone DSLs Build DSLs that reuse parts of other languages (MPS comes with BaseLanguage) extend base language Java++

85 Build new standalone DSLs Build DSLs that reuse parts of other languages (MPS comes with BaseLanguage) extend base language build DSLs that reuse parts of BaseLanguage Java++

86 Learn more at:

87

88 Language Extension and Composition with Language Workbenches The End.