|
|
|
|
|
|
by rastrian
172 days ago
|
|
|
100%. 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. |
|
|