История изменений
Исправление tailgunner, (текущая версия) :
А что у вас там, голые си-массивы?
В том месте - да.
Тема статических гарантий корректности тех или иных алгоритмов это cutting edge современного CS
Не понял, причем здесь это, поэтому просто для протокола: Rust не доказывает корректность алгоритмов. И асимптотику не проверяет.
Если Rust уже сейчас позволяет написать настоящий qsort, предоставляя статические гарантии отсутствия UB — я первый порадуюсь
Алгоритм приведен выше. Если хочешь - оцени асимптотику, любые другие его свойства, и вынеси вердикт.
def настоящий qsort = qsort такой же быстрый, как на языке без статических гарантий отсутствия UB, т.е. C, C++
А, понятно. Тогда вердикт не нужен.
Исходная версия tailgunner, :
А что у вас там, голые си-массивы?
В том месте - да.
Тема статических гарантий корректности тех или иных алгоритмов это cutting edge современного CS
Не понял, причем здесь это, поэтому просто для протокола: Rust не доказывает корректность алгоритмов. И асимптотику не проверяет.
Если Rust уже сейчас позволяет написать настоящий qsort, предоставляя статические гарантии отсутствия UB — я первый порадуюсь
Алгоритм приведен выше. Если хочешь - оцени асимптотику, любые другие его свойства, и вынеси вердикт.