~/talk

A Deep Dive into Advanced TypeScript: A Live Coding Expedition

Talkat NDC Oslo 2025 · 2025-05-19..05-23· [typescript]
slides:none on file

50 minutes of live coding that demonstrates concrete TypeScript techniques: uses map types and template literal types to auto-generate prefixed event handlers and a CSS margin/padding key set, builds a compile-time CSS validator and an arithmetic-expression validator that fail at type-checking, explains never/satisfies for exhaustive switches and infer-based recursion to unwrap nested Promises, arrays and to generate fixed-length tuples (notes the 999 recursion limit), and shows branded primitives for safer IDs/emails; all examples compile and are on the linked GitHub.

AI-written summary · about

  1. 0:00Introduction
  2. 1:55Map types in TypeScript
  3. 6:33Template literals for type narrowing
  4. 12:33Never type for safety
  5. 19:55Infer keyword
  6. 24:09TypeScript recursion
  7. 34:51Branded types
  8. 48:11Compile-time validation
  9. 49:36Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.