The Superpowers of Types
summary
The talk explains the differences between static vs. dynamic typing and strong vs. weak typing, then demonstrates practical, often-overlooked uses of types. It covers using types as tests, as live documentation, as safeguards (type-driven traps), as execution proofs, and as abstractions to manage complexity, illustrated with live coding.
AI-written summary · about
chapters (13)
- 0:00Introduction et jeu interactif
- 4:58Latence et performance
- 7:11Typage et feedback rapide
- 15:33Premier superpouvoir des types
- 17:23Interdire les valeurs nulles
- 19:50Documentation et types de retour
- 21:38Types primitifs et limites
- 23:25Types comme preuves d'exécution
- 31:11Types et gestion des erreurs
- 35:02Constructeurs et honnêteté
- 37:35Types et producteurs
- 40:07Types comme abstraction de complexité
- 46:34Conclusion et questions
related talks
36mThe Superpowers of Types
48mThe Best of Strong Typing in PHP
31mKnow Your Types - Bringing Static Types to Dynamic Languages
49mThe Trouble With Types
45mBetter types = fewer tests
25mWhy static types in Javascript? — Preethi Kasireddy
53m"Strict" JavaScript: Types Versus Reality
52mWhy Static Typing Came Back