How and Why I Write My Own Static Type Checker
summary
Talk explains how popular static typing tools work and describes the author’s process for building his own static type checker. It covers motivations for implementing a custom type system and the practical approach used to design and write a personal static-typing solution.
AI-written summary · about
chapters (6)
- 0:00Introduction
- 10:42Static analyzer basics
- 17:52Lambda calculus types
- 29:21Hegel demo errors
- 35:17Dependent types checks
- 37:24Q&A
related talks
46mHow to make a static type checker your best friend
31mKnow Your Types - Bringing Static Types to Dynamic Languages
25mWhy static types in Javascript? — Preethi Kasireddy
47mThe Superpowers of Types
34mThe design of JavaScript type systems
36mThe Superpowers of Types
27mA Story About Types and JavaScript
42mIf I unit test do I really need static typing