[jrajav]

> The only type of bug that static typing reduces is the sort of bug you'll find by running the code.

This is a pretty solid argument in favor of static typing, then, unless you somehow have a test suite that exercises every possible code path and type variation in your codebase, and also keeps itself perfectly up to date. Because otherwise you're rarely running all of your code and verifying the result.