Исходное сообщение
"Дрю ДеВолт представил язык системного программирования Hare" Отправлено Sw00p aka Jerom, 26-Апр-22 13:30
>Так в том и дело что гарантий обычно никому не нужно, нужна скорость гарантий корректности не нужны? >есть же разница между выполнением 1 ассемблерной инструкцией и тремя. есть конечно же, но это не критерий оценки временной сложности алгоритма. Эти три инструкции могут быть взяты за элементарный шаг при анализе. >но такова цена за точность так что же важнее? корректность алгоритма с точным результатом или его "быстрота" с неточным результатом? И это не цена, это необходимость и достаточность.