~/talk

A Deep Dive Into Advanced TypeScript - A Live Coding Expedition

Talkat Voxxed Days CERN 2026 · on Tuesday, 2026-02-10· [typescript]
links:none on file
slides:none on file

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

  1. 0:00Introduction and setup
  2. 1:33Working with mapped types
  3. 2:32Template literals and mapping
  4. 9:39Exhaustive checking with never
  5. 14:01Recursive inference
  6. 16:58Functional type programming
  7. 23:25Branded types for safety
  8. 39:55Advanced type-level patterns
  9. 40:56Q&A and conclusion
~/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.