История изменений
Исправление hateyoufeel, (текущая версия) :
Ты путаешь полную корректность (включающую доказательство завершаемости алгоритма) и частичную корректность. Сам по себе хаскелл позволяет доказывать второе. С помощью доп.инструментов возможно и первое.
В других языках (Agda, например) присутствует termination checker, который решает эту проблему.
P.S. Я правильно понимаю, что, согласно твоей логике, инструмент, позволяющий исключить, например, 90% ошибок в программах бесполезен, поскольку не отлавливает оставшиеся 10%?
Исходная версия hateyoufeel, :
Ты путаешь полную корректность (включающую доказательство завершаемости алгоритма) и частичную корректность. Сам по себе хаскелл позволяет доказывать второе. С помощью доп.инструментов возможно и первое.
В других языках (Agda, например) присутствует termination checker, который решает эту проблему.