> you're never going to attain aspirational software purity in a corporate, commercial software environment Fun problem a few days ago: a slight design flaw a

> you're never going to attain aspirational software purity in a corporate, commercial software environment Fun problem a few days ago: a slight design flaw allows a class of bug that a typechecker can't currently catch. Fixing the design flaw involves updating 25,000 lines across a few thousand files. Only 6 of the 25,000 lines demonstrated the bug (~1 in 4,000). If we wait two months we can build a tool to catch the errors (and many others like it) without updating the code. The design flaw stays, but its impact is nullified.