Why Static Typing Came Back
summary
Argument: static typing resurges because modern type systems and tools remove old costs while keeping benefits. Evidence: TypeScript, mypy, Sorbet and Hack add editor red squiggle feedback; Dart abandoned gradual typing; Rock shows 100% type inference and early JSON validation without annotations; NoRedInk reports half a million lines of Elm and Haskell code with zero null/undefined errors in production. Compilers go parallel and incremental so builds feel instant. Prediction: most new mainstream languages will be statically typed but not gradually typed.
AI-written summary · about
chapters (9)
- 0:00Intro
- 1:00Programming language rankings for Jan. 2022
- 2:04What happened? - Outline
- 2:32What made dynamic typing get big?
- 11:39What changed?
- 38:22What does this mean for the future?
- 49:36Prediction
- 49:55Summary
- 51:38Outro
related talks
21mGradual Typing is the best!
22mStatic Typing in Python
27mA Story About Types and JavaScript
32mStatic Typing in Python
25mWhy static types in Javascript? — Preethi Kasireddy
36mThe Superpowers of Types
31mKnow Your Types - Bringing Static Types to Dynamic Languages
01h 11mTypeScript: Static types for JavaScript