Я вот сколько не размышлял, приходил к выводу что стат. типизация всё-таки важна, особенно на больших проектах. И долгих.
Всё-таки, если ты можешь часть работы сгрузить на компилятор, то это лучше чем когда эту работу придется делать самому.
Важна не сама по себе типизация, а возможность статического анализа, чтобы не покрывать тестами каждый чих.
Например, можно скрестить условный spec с gradual typing анализатором и получить примерно те же преимущества, без множества недостатков