Ruby, Python, even PHP checks the types of values before executing operations on the values.

That's not true, at least with Python. It uses duck typing, there is no type check before execution. It just runs the code you give it, if you try to call a method that doesn't exist (split on a integer), it will just give an error.

Exactly. They check the types. They don't burden the programmer with such tasks.