err...It's a tradeoff.

I think when the first dynamic programing language was invented, the loose typing system must be thought as a big advantage.

Type checking is necessary in some cases, but I really enjoy dynamic typing a lot. So I think a bit tradeoff like this is acceptable. After all, we have to tradeoff everywhere when it comes to computer science such as the time-space tradeoff of an algorithm.