[tyingq]

Continuing to run with unexpected type coercion bugs could be worse than bailing out. So, worse than compile time checking, yes. But not the worst.

[tuesdayrain]

It just seems to imply that you need input validation code regardless of how your language is typed.