Bug quase catastrófico no OpenZFS destaca a importância do sistema de tipos do Rust

Um bug sutil, porém devastador, na função de alocação de disco principal do OpenZFS foi descoberto recentemente. O bug, um simples erro de tipo que resultava no retorno do tamanho errado, poderia sobrescrever dados silenciosamente. Levou quase dois dias para rastreá-lo. Embora o bug não estivesse presente em nenhuma versão lançada, isso levou à reflexão sobre as limitações da análise estática em C e as vantagens do sistema de tipos do Rust. A capacidade do Rust de definir tipos personalizados (como `PhysicalSize` e `AllocatedSize`) teria evitado isso. O autor argumenta que depender apenas da perfeição do programador é falho; alavancar ferramentas e recursos de linguagem para melhorar a qualidade do código e mitigar bugs difíceis de detectar e de alto impacto é fundamental.