Мое личное мнение после 3 лет разработки большой системы на языке с динамической типизацией - страхи очень сильно преувеличены. Я коллекционировал за эти годы случаи, когда именно отсутствие проверки типов привело к багам, дошедшим до пользователей. Так вот, случаи были, но это даже не 1% от общего числа багов, это практически ничто. Большая часть таких ошибок валит первый же запуск тестов, что на мой взгляд, не сильно хуже, чем ошибка при компиляции или подсказка среды. В крайнем случае, мы узнаем о баге при первом запуске и нажатии на нужную кнопку в приложении.
На это мне возразили, что у меня тепличные условия: юнит-тесты, хорошие разработчики, и пр., а вот для, скажем так, неумелых и безответственных динамическая типизация приведет к кошмару. Я думаю, что эти неумелые и безответственные смогут написать таких макарон и без динамической типизации, что будь она, сильно в худшую сторону ничего бы не изменилось.