Hacker News Reader

You are exactly right and the pitfalls you talk about are common to all dynamically typed languages.

Which is why some dynamically typed languages, like PHP, are moving towards types.