Tag your union, switch on the discriminant, and let assertNever turn a forgotten variant into a compile error instead of a 2am page.
Never check with discriminated unions forces TypeScript compiler to handle every case in a switch at compile time. For tech teams: compiler forces handling every new payment type—forgotten cases generate immediate errors instead of silent production bugs.
Book: The TypeScript Type System — From Generics to DSL-Level Types
Also by me: The TypeScript Library — the 5-book collection
My project: Hermes IDE | GitHub — an IDE for developers who ship with Claude Code and other AI coding tools
Me: xgabriel.com | GitHub
You add a new payment method. PixPayment joins CardPayment
What slows large TypeScript types down, how to measure it with @ark/attest, and the one-field match that made my schema library…
Introduction This is my second article as a Java engineer learning TypeScript from...
TypeScript's `never` type is often misunderstood. Learn how to use it for compile-time exhaustive checks, safer switch…
Every few months I find a TypeScript pattern in someone's open-source repo that I instantly bring...
When building a personal finance tracker, data integrity and system reliability are non-negotiable....
A practical guide to typing API responses in TypeScript: where generics help, why type assertions are a trap, and how runtime…
