Type checking is a symptom, not a solution

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-checki...