Review: Type Composition and Variants

This chapter focused on how to model variation in shape, meaning, and behavior using TypeScript’s type system. The structure of data tells us what it is, and the compiler makes sure we never misunderstand it.

We’ve gone from simple constraints like "asc" | "desc" to full-blown pattern matching on real-world API responses. Let’s connect the dots.

Literal and union types: Precision and possibilities

Literal types let us treat exact values like "dark", 42, or true as types. Union types group those exact values into controlled sets—tight enough for safety, flexible enough for real-world use.