The companion repository for my \"Extreme TypeScript\" talks: learn conditional types, infer, template literal types, and recursion by building a calculator that computes entirely at compile time.
Released: Mon Jan 12 2026
What's inside
A guided learning path through TypeScript's type system: conditional types and pattern matching, the infer keyword, template literal types, tuple spreads, and recursive type definitions - combined step by step until the type checker itself does arithmetic. Each step lives in the learning/ directory with links to the official docs.
Why it exists
Talks fade, repositories stay. This is the hands-on half of my \"Extreme TypeScript: Mastering Recursion and Inference via Type-Level Arithmetic\" talk, so you can replay every trick at your own pace and argue with the compiler directly.