I don't think any static type advocate would say that no dynamic checks should be done. Not all can be. You need a mix. Most dynamic types then go on to say w

I don't think any static type advocate would say that no dynamic checks should be done. Not all can be. You need a mix. Most dynamic types then go on to say why bother at all with static. That's where we disagree. It's dynamic types people that tend to be all or nothing. Where as static type people say use them where it's helps catch the obvious errors, so you don't have to write so many tests.