Typing the Untyped - Soundness in Gradual Type Systems

Explore the complexities of gradual type systems in this 37-minute Strange Loop Conference talk. Delve into the tradeoffs between soundness and completeness in implementing type systems for previously untyped languages like JavaScript, Python, PHP, and Ruby. Examine key challenges such as type refinement, refinement invalidation, array out-of-bound errors, and variance across various gradual and traditional static type systems. Gain insights into the architectural decisions and their impact on usability and effectiveness. Learn from Ben Weissmann, a software engineer at Tulip, as he shares his expertise in backend systems, architecture, and developer tooling.