Здравствуйте, Mamut, Вы писали:

M>>>А потом дебажить типы, когда логика закодирована неправильно
DM>>Да, а что в этом плохого? Особенно, когда и до дебага-то не доходит, т.к. проблемы уже на стадии компиляции прояаляются.

M>С какого перепуга они вылезут на этапе компиляции?

C такого, что компилятор соответствие типов проверяет. Сделал SQL запрос и ввод от пользователя не строками, а разными типами, и вот уже не получается их так просто в одну строку соединить. В питонах с джаваскриптами это была бы "ошибка в логике", а тут стала ошибкой в типах.
Я не говорю, что абсолютно все проблемы выявляются любой системой статических типов. Лишь некоторые. И чем выразительней эта система и чем удачнее применяется, тем больше проблем выявляется при компиляции.