O Que É Exhaustiveness Checking?

Exhaustiveness checking é uma análise estática que garante que um conjunto de padrões cobre todos os valores possíveis do tipo sendo casado, reportando um erro quando um caso é deixado de fora. Para um sum type, confirma que cada variante é tratada. Isso pega casos esquecidos antes que o código rode.

Por que isso importa

Verificações de exaustividade transformam "esqueci de tratar aquele caso" em um erro de compilação em vez de uma surpresa em tempo de execução. São especialmente valiosas quando uma nova variante é adicionada, já que todo match incompleto passa a não compilar.

Guias relacionados