JetBrains MPS: Typesystem Aspect

We implement a type system for Entities Language in JetBrains MPS.

Remarks

This part is based on F. Campagne’s book The MPS Language Workbench, volume 1.

Additional materials

• Defining a type system for a language (from MPS Documentation)
• Cookbook – Type System (from MPS Documentation)
• Using type system (from MPS Documentation)
• M. Voelter: Type systems for DSLs (video)
• Z. Grossbart: An Introduction To Programming Type Systems
• J. Kyle, Type Systems: Structural vs. Nominal typing explained

Theory of type systems

• L. Cardelli: Type Systems
• So you want to learn type theory…
• B. C. Pierce: Types and Programming Languages (book)
• P. Snively and A. Laucher: Type Systems – The Good, Bad and Ugly (video)
• R. Tate: Types and Semantics, Cornell University