The Superpowers of Types
summary
Explains the difference between static vs dynamic typing and between strongly vs weakly typed languages, then demonstrates often-overlooked uses of type systems: using types as tests, as live documentation, as guards against errors, as runtime-execution proofs, and as abstractions to hide complexity. The session uses live coding to illustrate these practical roles of types.
AI-written summary · about
chapters (13)
- 0:00Introduction
- 1:19Instant feedback importance
- 3:24Types and feedback speed
- 5:31Live coding with JavaScript
- 8:23Typescript immediate feedback
- 10:13Billion-dollar null error
- 12:49Types for documentation
- 15:18Creating dedicated types
- 17:51Validation in types
- 21:47Types and code honesty
- 25:10Superpowers summary
- 27:40Typing vs automated tests
- 28:09Q&A
