Xtext: type checking and scoping
We discuss in this part about:
– computing types and implementing validations
– scoping rules
Remarks
This part is based on Chapters 9 and 10 of L. Bettini’s book Implementing domain-specific languages with Xtext and Xtend.
Additional materials
- S. Zarnekow, H. Schill: Deep dive into Xtext scoping local and global scopes explained
- XSemantics
- M. Voelter, Xtext/TS – a Typesystem Framework for Xtext
- M. Voelter: Type systems for DSLs (video)
- Wikipedia page on dependency injection
- Z. Grossbart: An Introduction To Programming Type Systems
- J. Kyle, Type Systems: Structural vs. Nominal typing explained