TypeScript Type Narrowing, Exhaustively
How discriminated unions and exhaustive checks make illegal states unrepresentable — and catch bugs at compile time.
3 min read
A developer's notebook — notes on software, systems, and the quiet craft of building things that last.