Beyond Type Checking Building Bulletproof TypseScript Applications
summary
Claims that TypeScript's compile‑time checks are insufficient and that runtime validation prevents production bugs by validating untrusted inputs. Demonstrates Zod and the standard schema ecosystem, uses z.infer and safeParse/pass, and shows a loan‑application bug where loanStatus sometimes arrives undefined, validation finds the missing field, traces a downstream error, and prevents crashes. Shows patterns for APIs, forms, env vars, mock generation and AI‑driven data, and reports that incremental adoption and schema‑driven types produce one source of truth that actually works.
AI-written summary · about
chapters (9)
- 0:00Bulletproof TypeScript apps
- 2:07Trust boundary problem
- 7:03Runtime validation matters
- 8:46Zod basics
- 10:51Validating data with Zod
- 13:38Schema-driven types
- 16:05Advanced Zod use cases
- 18:34Benefits and adoption
- 19:37Takeaways and closing
related talks
21mThe long-tail of type safety
45mBuild Fully Type Safe Projects with TypeScript and Zod
22mThink you know TypeScript? Think again.
31mEscaping the Phantom Zone of Insecure Data: Build Safer Applications with zod
49mTypescript. Runtime. And in Between.
21mThe long-tail of type safety
15mTypescript. Runtime. And In Between.
21mLearning to Love Type Systems