Filtrage exhaustif Exhaustive match
Fonction du compilateur : quand on filtre un type union, chaque variante doit être traitée explicitement. match en Rust, case en Haskell, l'astuce du type never en TypeScript. Garantit qu'ajouter une variante force une mise à jour partout — la sécurité du refactoring.
Rust : match status { Active => ..., Pending => ... } produit une erreur de compilation si une variante est oubliée. Patron classique des machines à états. TypeScript : affecter la valeur à never dans la branche par défaut — si toutes les variantes sont traitées, le type est bien never ; s'il en manque une, la vérification de types échoue. function assertNever(x: never): never { throw }. Java depuis la version 21 : types scellés + filtrage par motif dans switch. Une alternative orientée objet moderne au patron Visiteur classique.