LeTS play a game
summary
Shows that TypeScript’s type system (top and bottom types any unknown never) and practical features—template literal types, infer, conditional types, mapped types and runtime type guards—can be used to filter, extract and validate strings, not just document code. Demonstrates a small web puzzle that accepts input, narrows types, decodes intercepted messages and outputs a name (Jeff Cross) within the allotted twenty minutes, and the decoder actually works end to end.
AI-written summary · about
chapters (8)
- 0:00Introduction
- 1:58Mysterious TypeScript puzzle
- 3:08TypeScript type basics
- 6:28Template literal types
- 10:44Mapped and intrinsic types
- 15:22Conditional types decoding
- 19:34Uncovering the message
- 20:21Summary
related talks
21mBeyond Type Checking Building Bulletproof TypseScript Applications
34mNot Your Uncle’s Clean Code (TypeScript Edition)
46mRewriting Hexlet's editor from JS to TS: challenges, results and statistics
50mTypescript 2 and failing faster
25mLeveraging (algebraic data) types to make your UI rock solid
28mTypescript - a necessity front-end tool
31mNothing Generic About It
43mHow to get away with functional programming in frontend applications