История изменений
Исправление no-such-file, (текущая версия) :
логику можно проверить доказательствами, а вот правильность тестами не докажешь никак
Правильность понятие относительное. Например есть функция которая переводит градусы цельсия в градусы фаренгейта. В статических языка будет синтаксически неправильно, если передать ей в качестве параметра строку. В динамическом языке - это будет синтаксически правильно. Но функция не существует сама по себе, она используется в каком-то контексте. А вот это использование и корректность типов при этом вполне проверяется тестами.
Исходная версия no-such-file, :
логику можно проверить доказательствами, а вот правильность тестами не докажешь никак
Правильность в динамических языках имеет другое понятие, чем в статических. Например есть функция которая переводит градусы цельсия в градусы фаренгейта. В статических языка будет синтаксически неправильно, если передать ей в качестве параметра строку. В динамическом языке - это будет синтаксически правильно. Но функция не существует сама по себе, она используется в каком-то контексте. А вот это использование и корректность типов при этом вполне проверяется тестами.