Introducing Typir - Type Checking for the Web

Learn about Typir, a new open-source framework for web-based type checking, in this 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 seamlessly with web-based frameworks like Eclipse Sprotty, Eclipse GLSP, and Eclipse Langium, while functioning effectively in web-based IDEs such as Eclipse Theia and VS Code. Understand the fundamental challenges of implementing type systems, examine practical examples of Typir's application in providing validation hints, and participate in community discussions about type checking needs to enhance the language engineering ecosystem. Master the implementation of complex type systems without starting from scratch for each new language development project.