Исправление iVS, (текущая версия) :
Неправильная постановка вопроса. На этапе разработки типы дают уверенность, что с большой вероятностью программа отработает корректно (если говорить про «правильно» типизированные языки, типа хаскеля). Сокращая тем самым количество случаев, когда необходимо прибегать к дебаггеру. А сравнение с динамикой на стадии продакшена не дает такого эффекта, ведь код более-менее работает, т.е. соответствие типов уже во многом достигнуто. Хотя, могу все же привести и такой пример.
Исходная версия iVS, :
Неправильная постановка вопроса. На этапе разработки типы дают уверенность, что с большой вероятностью программа отработает корректно (если говорить про «правильно» типизированные языки, типа хаскеля). Сокращая тем самым количество случаев, когда необходимо прибегать к дебаггеру. А сравнивать с динамикой на стадии продакшена не дает такого эффекта, ведь код более-менее работает, т.е. соответствие типов уже во многом достигнуто. Хотя, могу все же привести и такой пример.