I don't understand the claim that static typing reduces unit tests. I can't think of any unit test I've written that would disappear.