Exhaustive match
Compiler-feature: när du matchar på en union-typ måste alla varianter hanteras explicit. Rust match, Haskell-case, TypeScript via never-trick. Garanterar att lägga till ny variant tvingar uppdatering överallt — refactoring-säkerhet.
Rust: match status { Active => ..., Pending => ... } ger compile error om man missar variant. Klassiskt mönster för state machines. TypeScript: assignera till never i default-branch — om alla varianter hanterade kommer never-typen vara never, om en fattas kommer typescheck error. function assertNever(x: never): never { throw }. Java sedan 21: sealed types + pattern matching i switch. Modern OOP-alternativ till klassisk Visitor-pattern.