Исправление AndreyKl, (текущая версия) :
Доказывает только синтаксическую правильность программы. От этого как бы ни жарко ни холодно. Корректность использования проверяется только тестами.
твои знания о типах застряли где то на уровне 70х годов прошлого века и языка си, похоже. хотя мне казалось ты несколько хаскелист...
Исходная версия AndreyKl, :
Доказывает только синтаксическую правильность программы. От этого как бы ни жарко ни холодно. Корректность использования проверяется только тестами.
твои знания о типах застряли где то на уровне 70х годов прошлого века и языка си, похоже.