This need not be the case forever. It's still an open problem, but the tooling is getting better all the time! For now types+tests are a happy medium. No need

This need not be the case forever. It's still an open problem, but the tooling is getting better all the time! For now types+tests are a happy medium. No need to throw the baby out with the water just because 100% correctness is still unfeasible for everyday business problems.