Correspondência exaustiva
Recurso do compilador: ao fazer match sobre um tipo união, toda variante precisa ser tratada explicitamente. match do Rust, case do Haskell, TypeScript via o truque do never. Garante que adicionar uma variante obrigue a atualizar todos os pontos de uso — segurança na refatoração.
Rust: match status { Active => ..., Pending => ... } dá erro de compilação se você esquecer uma variante. Padrão clássico para máquinas de estado. TypeScript: atribua a never no ramo default — se todas as variantes foram tratadas, o tipo será never; se faltar uma, a checagem de tipos acusa erro. function assertNever(x: never): never { throw }. Java desde a 21: sealed types + pattern matching no switch. Uma alternativa moderna de OOP ao clássico padrão Visitor.