Typescript. Runtime. And in Between.
summary
Deep dive into how TypeScript separates type space from value space, a live coding demo using Zod (safeParse, schema -> inferred types, Zod schemas -> infer types), a practical pattern for safe environment variables (schema validation + declaration merging for process.env), branding/nominal types using symbols to prevent accidental interchange of primitives, and the compiler story: parsing→binding→checking→emitting, the TypeScript-to-Go port plus new compiler that promises 10x faster builds (about 40% from native rewrite, 60% from concurrency) and relies on ~120k tests.
AI-written summary · about
chapters (7)
- 0:00TypeScript introduction
- 1:07Why TypeScript exists
- 5:43TypeScript compiler internals
- 14:22Runtime validation with ZOD
- 23:25TypeScript patterns
- 31:54Nominal typing
- 41:12TypeScript future
related talks
15mTypescript. Runtime. And In Between.
44mA Deep Dive Into Advanced TypeScript - A Live Coding Expedition
21mBeyond Type Checking Building Bulletproof TypseScript Applications
48mDeep Dive into Advanced TypeScript: A Live Coding Expedition
59mA Deep Dive into Advanced TypeScript: A Live Coding Expedition
34mNot Your Uncle’s Clean Code (TypeScript Edition)
45mBuild Fully Type Safe Projects with TypeScript and Zod
01h 00mTalkScript with the TypeScript Team