Thanks. I’ve made a correction in the article about inferred typing.
I agree that dynamic languages make it cheaper to fix bugs. While static languages theoretically result in fewer bugs, in practice, the difference is negligible, esp. if you use Test-Driven Development (or TDD). Robert C. Martin wrote an interesting blog about this.