Typing the Untyped - Soundness in Gradual Type Systems
Offered By: Strange Loop Conference via YouTube
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
Introduzione all’editoria digitale scolasticaUniversity of Perugia via EduOpen Mobile Interaction Design: How to Design Usable Mobile Products and Services
Higher School of Economics via Coursera Mobile Design and Usability for iOS
Facebook via Udacity Mobile Design and Usability for Android
Facebook via Udacity Digital Skills: User Experience
Accenture via FutureLearn