The Fun of Runtime Type Systems (or "Funtime Type Systems")

on YouTube ↗30m

" summary

Covers runtime type systems for JavaScript that go beyond simple validation by being generated and composed dynamically from sources like JSON Schema, GraphQL, and UI props so types match runtime shape. Demonstrates libraries such as prop-types, tcomb, and mobx-state-tree alongside TypeScript/Flow coexistence, explains higher-order types that take type arguments to express invariants, and shows generators that produce validators to catch reproducible bugs and enforce near-complete field coverage.

AI-written summary · about

" chapters (8)

1. 0:00Runtime type systems intro
2. 3:05Type systems history
3. 7:24Runtime type checking basics
4. 12:37Implementing type checks
5. 18:06Advanced type system features
6. 22:13Expressive type systems power
7. 25:21Practical applications and tools
8. 28:14Conclusion

" related talks

• 27mA Story About Types and JavaScriptTudor Gergely · JSHeroes 2017
• 22mType Systems Will Make You a Better JavaScript DeveloperJared Forsyth · React Conf 2017
• 15mTypescript. Runtime. And In Between.Ariel Shulman · NodeTLV 2023
• 30mSwipe Left, Uncaught TypeError Learning to Love Type SystemsLauren Tan · React Rally 2018
• 25mStatic types in JavaScript: what, how and whyDmitry Jemerov · JSConf EU 2013
• 25mWhy static types in Javascript? — Preethi KasireddyPreethi Kasireddy · JAMstack Conf 2017
• 21mThe long-tail of type safetySimon Sturmer · App.js Conf 2023
• 28mEctype - bringing type safety (and more!) to vanilla JavaScriptHolly Wu · Strange Loop 2023