я думаю, что категория багов, которую должна решать типизация, сходит на нет по причине индустриализации отрасли, ну типа кодерок работает над очень маленькой областью кода, где ошибки ловятся просто глазками, и движением в сторону TDD
Это очень спорное утверждение, потому что во всех прям совсем больших код базах, где я работал, было в норме именно перескакивание разработчиков из одной части проекта в другую.