Swipe Left, Uncaught TypeError Learning to Love Type Systems
summary
Bold claim: Types reduce bugs. Uses TypeScript examples — generics like a reusable array and map, bounded generics to exclude null/undefined, and runtime-to-type wrappers (fetch user returns an Either/Option instead of throwing). Demonstrates a viewport-first-element function and a React component with four explicit states, shows that the compiler surfaces errors before shipping, explains cardinality to quantify constraints, and briefly contrasts Flow and GraphQL’s schema-as-types for end-to-end type safety.
AI-written summary · about
chapters (4)
- 0:00Start
- 2:56A type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.
- 11:06Learning from Functional Programming
- 17:36Total vs Partial functions
related talks
21mLearning to Love Type Systems
49mTypescript + React
01h 01mDeconstructing TypeScript’s Type System
27mMatthew Gerstman - TypeScript: Seeing Past the Hype
52mTypescript Deep Dive
44mA Deep Dive Into Advanced TypeScript - A Live Coding Expedition
44mA Deep Dive Into Advanced Typescript: A Live Coding Expedition
40mTypeScript and Your Codebase: They Deserve Each Other!