Michael Feathers has an interesting post: Is Static Typing a Form of Bad Coupling?

To me, it’s a tradeoff between error checking and flexibility. Error checking takes on greater importance in shrink wrap software and libraries and flexibility tends to be more important for web apps.

I also think that for error checking, unit tests are more effective than type checking, but they of course require an even greater time investment.

What do you think?