“Type checking is a poor man’s automated testing; the kinds of things you can test for is greatly limited.

Automated testing is a poor man’s type checking; the programmer must explicitly manage constraints, and the constraints can’t be used for optimization or tool integration.