Introducing Typir - Type Checking for the Web

Learn about Typir, a new open-source framework for web-based type checking, in this technical conference talk from OCX 2024. Explore how type checking validates static semantics in both textual and graphical programming languages, going beyond basic syntactic checks to ensure proper constraint validation during editing. Discover how Typir, implemented in TypeScript, integrates with web-based frameworks like Eclipse Sprotty, Eclipse GLSP, and Eclipse Langium, making it compatible with modern web IDEs such as Eclipse Theia and VS Code. Examine practical examples of implementing type systems without starting from scratch, understand the challenges in type system implementation, and learn how Typir can enhance editor support through validation hints. Gain insights into the framework's initial results and participate in community discussions about type checking needs to help shape the future development of Typir and the broader language engineering ecosystem.