A Deep Dive Into Advanced TypeScript - A Live Coding Expedition
summary
Live-coding shows concrete TypeScript patterns: a mapped type that generates onAdd/onRemove handlers from an events union using template literals and the intrinsic Capitalize, template-literal permutations for margin/padding keys and unit-suffixed sizes, a recursive unnest via infer to peel nested arrays, an automatic tuple factory that builds fixed-length tuples (supports unions like 3|4 and hits TypeScript’s ~1000 recursion cap), exhaustive-switch checks using satisfies, and practical branded primitive types + Zod integration with assertion guards to enforce emails at compile time while keeping runtime validation.
AI-written summary · about
chapters (9)
- 0:00Introduction and setup
- 1:33Working with mapped types
- 2:32Template literals and mapping
- 9:39Exhaustive checking with never
- 14:01Recursive inference
- 16:58Functional type programming
- 23:25Branded types for safety
- 39:55Advanced type-level patterns
- 40:56Q&A and conclusion
related talks
59mA Deep Dive into Advanced TypeScript: A Live Coding Expedition
48mDeep Dive into Advanced TypeScript: A Live Coding Expedition
43mA Deep Dive into Advanced TypeScript: A Live Coding Expedition
44mA Deep Dive Into Advanced Typescript: A Live Coding Expedition
44mA Deep Dive Into Advanced TypeScript: A Live-Coding Expedition
52mTypescript Deep Dive
01h 01mAdvanced TypeScript Type Utilities
34mNot Your Uncle’s Clean Code (TypeScript Edition)
