Исходное сообщение
"Найден способ формального подтверждения соответствия ПО техн..." Отправлено Vkni, 11-Июн-20 03:26
> only that it will always do what it is supposed to Скорее, что она работает не выходя за рамки спецификации... Это не совсем "supposed to". Скажем, практически все спецификации на сортировку будут удовлетворены командами sort | uniq. А значительная часть спецификаций из всяких самоучителей вообще пропустит такую функцию сортировки: sort :: Ord a => [a] -> [a] sort _ = [] Нельзя ведь сказать, что результат выполнения этой функции неотсортирован!