The design of JavaScript type systems

on YouTube ↗34m

" summary

Explains why and how several type systems were added to JavaScript over the last decade, comparing their core features to traditional systems like Java’s and highlighting key differences. Describes how to implement a JavaScript type checker (using concepts from Closure Compiler) and how to apply such a checker in practice, finishing with brief commentary on future directions for type systems in dynamic languages.

AI-written summary · about

" chapters (15)

1. 0:00Start
2. 0:13Overview
3. 1:07Brief history of JS types
4. 3:14Requirements for a JavaScript type system
5. 5:21Familiar features in JS type systems
6. 8:11Structural typing
7. 8:59Unions and flow-sensitive typing
8. 13:13Sources of unsoundness
9. 16:40How does a JavaScript type checker work?
10. 17:23Phase 1: Collect and resolve types
11. 18:49Phase 2: Typecheck each function in isolation
12. 21:17Evaluating the quality of a JS type checker
13. 25:30How to write JavaScript that typechecks well
14. 29:43So, what's next for JS types?
15. 32:22Type systems for other dynamic languages The design requirements are the same in other languages.

" related talks

• 22mType Systems Will Make You a Better JavaScript DeveloperJared Forsyth · React Conf 2017
• 27mBeyond JavaScriptJakob Mattson · JSConf EU 2011
• 25mStatic types in JavaScript: what, how and whyDmitry Jemerov · JSConf EU 2013
• 27mA Story About Types and JavaScriptTudor Gergely · JSHeroes 2017
• 01h 11mTypeScript: Static types for JavaScriptAnders Hejlsberg · ICFP 2023
• 22mBeyond JavaScript: The languages for the modern WebJulian Antonielli · JS Kongress 2019
• 25mWhy static types in Javascript? — Preethi KasireddyPreethi Kasireddy · JAMstack Conf 2017
• 53m"Strict" JavaScript: Types Versus RealityIlya Klimov · HolyJS 2017 Piter