Self reply, in case it was unclear: I don't claim that testing is only for weak type systems. Testing is important in both worlds. I do, emphatically, claim tha

Self reply, in case it was unclear: I don't claim that testing is only for weak type systems. Testing is important in both worlds. I do, emphatically, claim that the total testing burden is much lower for programs written in strong static type systems, because a majority of tests written for programs in dynamic systems are simply trying to cover for the lack of strong type checking. So of course testing paradigms apply to both strong and weak type systems.