SP
но да, это нужно так или иначе разрешить делать
Size: a a a
2020 June 05
V
Таки не уб, а impl defined
ну вот и я о чем, зависит от браузера
V
не круто
AB
Vetro
ну вот и я о чем, зависит от браузера
Я к тому, что это нормально, вина на погромисте
V
да я уже переделал нормально, факт в том, что за ручку когда держат, как раст, куда приятнее)
AB
Vetro
да я уже переделал нормально, факт в том, что за ручку когда держат, как раст, куда приятнее)
https://doc.rust-lang.org/std/vec/struct.Vec.html#method.sort_by
> If the ordering is not total, the order of the elements is unspecified
> If the ordering is not total, the order of the elements is unspecified
AB
@hirrolot в идрисе же есть сортировка? Там требование totally ordered выражается на типах?
p
посмотри
AB
Я не умею читаль хаскелевые типы
p
Я не умею читаль хаскелевые типы
там нету сортировки в СТД
AB
Значит не судьба
G
там нету сортировки в СТД
p
p
я в Vect смотрел там нету
AB
Не выражается
G
А вообще может функция-компаратор иметь нетотальный порядок?
p
бля а я так подумал, нахуя вообще делать рантайм
G
Безотносительно языка программирования
AB
Vetro
Переслано от Vetro
FF
.
p
сделаю тайпчекер и можно забить