История изменений
Исправление rumgot, (текущая версия) :
Системы типов имеют свои ограничения как и по сложности компилятора
Так эта слодность перемещается в интерпретатор
по сложности обучения
В динамически типизированном языке все равно есть типы. То, что их можно менять в прлцессе исполнения, а в статически типизирлванном нет - не большой объем знаний.
Также в практических языках система типов легко обходится и не имеет достаточную мощность чтобы выразить все инварианты так что проверка их адекватности ложится на ревьювера (человека)
Как и в динамически типизированных языках - все один хрен. Однако в статически типизированных языках по крайней мере часть ошибок несоответствия исключит компилятор.
тесты + более читаемый код
Хм. Очень притянуто за уши. Читаемость нарушается больше за счет запутанных нелогичных действий, а не за счет объявления типов.
Исходная версия rumgot, :
Системы типов имеют свои ограничения как и по сложности компилятора
Так эта слодность перемещается в интерпретатор
по сложности обучения
В динамически типизированном языке все равно есть типы. То, что их можно менять в прлцессе исполнения, а в статически типизирлванном нет - не большой объем знаний.
Также в практических языках система типов легко обходится и не имеет достаточную мощность чтобы выразить все инварианты так что проверка их адекватности ложится на ревьювера (человека)
Как и в динамически типизированных языках - все один хрен. Однако в статически типизированных языках по крайней мере часть ошибок несоответствия исключит компилятор.