11 ms·
I like good type systems, too, but they won't save you from bugs that are better addressed by fuzz testing, fault injection testing and adversarial mindset shif
by henning 9mo ago
I like good type systems, too, but they won't save you from bugs that are better addressed by fuzz testing, fault injection testing and adversarial mindset shifts.
- saghm 9mo agoLuckily these aren't exclusive! You can do all of those things with a strong type system as well, and get the benefits of all of them.
- z0ltan 9mo ago[dead]
- rastrian 9mo ago100%. Types don’t replace fuzzing, property tests, chaos, or adversarial thinking. They just move one slice of bugs from runtime to compile time and make refactors safer. In hindsight I should have positioned types/ADTs as one layer in the reliability toolbox, not the toolbox.