If you spent a day writing unit tests you will eliminate more bugs than if you spent a day writing types. And that's all that matters. Unit tests are the more

If you spent a day writing unit tests you will eliminate more bugs than if you spent a day writing types. And that's all that matters. Unit tests are the more effective technique. Yes obviously static typing doesn't catch all the bugs caught by unit tests or vice versa. But it's a meaningless thing to say.