New Typesystem Aspect: Path to Expressive and Natural Typesystems by Grigorii Kirgizov from the MPS team One of the biggest upcoming features of #MPS is the #typesystem language - a powerful new tool for language designers. With its help, advanced typesystems with features such as type inference or generic types can be easily and simply described.
In the presentation, we will touch upon the strong logical foundation of the new language and tell you about the motivation behind the current typesystem aspect. We want to talk about our plan to smoothly transition from the legacy aspect to the new one, highlighting the most interesting features of the language, and, of course, show some examples. #mpsmeetup19
0 Comments