YoVDO

Typing the Untyped - Soundness in Gradual Type Systems

Offered By: Strange Loop Conference via YouTube

Tags

Strange Loop Conference Courses Software Engineering Courses Usability Courses

Course Description

Overview

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.

Syllabus

"Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann


Taught by

Strange Loop Conference

Tags

Related Courses

Sniffing the Metaverse
Strange Loop Conference via YouTube KalDB - A Cloud Native Log Search Platform
Strange Loop Conference via YouTube The Evolution of a Planetary-scale Distributed Database
Strange Loop Conference via YouTube Machine Learning for Developer Productivity
Strange Loop Conference via YouTube Formally Verifying Everybody's Cryptography
Strange Loop Conference via YouTube