You're going to write the tests anyway. Static typing doesn't free you from that responsibility. The question is whether any type errors would make it past a un

You're going to write the tests anyway. Static typing doesn't free you from that responsibility. The question is whether any type errors would make it past a unit test suite focused on other kinds of correctness. In practice they usually don't.