This is a bit like saying, "We shouldn't need math to reason with problems, we should just go with simpler explanations that don't need math." Testing is scien

This is a bit like saying, "We shouldn't need math to reason with problems, we should just go with simpler explanations that don't need math." Testing is science, type-checking is math https://adueck.github.io/blog/testing-is-science-type-checking-is-math/ https://adueck.github.io/blog/testing-is-science-type-checki...