Size: a a a

2020 June 05

AB

Artöm Bakri Al-Sarmi... in rust_offtopic
Gymmasssorla
А вообще может функция-компаратор иметь нетотальный порядок?
Компаратор может сравнивать случайное число с 42
источник

AZ

Alex Zhukovsky in rust_offtopic
In the meantime, полиции теперь нельзя становится на колени! Вот так вот. Все кто становятся на колени - на самом деле расисты.

https://theappeal.org/cops-marching-in-police-violence-protests/?fbclid=IwAR2IhE1EK871nlDpQmSWtKEDKefYaMvCS-Ao3O4qKZAZAr-FeKagFgjKosk
источник

r

red75prime in rust_offtopic
Gymmasssorla
А вообще может функция-компаратор иметь нетотальный порядок?
Функция сортировки может быть?
источник

G

Gymmasssorla in rust_offtopic
Artöm Bakri Al-Sarmini
Компаратор может сравнивать случайное число с 42
В Idris там чистая функция должна быть
источник

G

Gymmasssorla in rust_offtopic
Может false отдавать всегда
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
А вообще может функция-компаратор иметь нетотальный порядок?
посет же
источник

λ

λоλторт in rust_offtopic
Alex Zhukovsky
In the meantime, полиции теперь нельзя становится на колени! Вот так вот. Все кто становятся на колени - на самом деле расисты.

https://theappeal.org/cops-marching-in-police-violence-protests/?fbclid=IwAR2IhE1EK871nlDpQmSWtKEDKefYaMvCS-Ao3O4qKZAZAr-FeKagFgjKosk
источник

AZ

Alex Zhukovsky in rust_offtopic
Artöm Bakri Al-Sarmini
Компаратор может сравнивать случайное число с 42
одно из ключевых свойств - сравнения должны быть согласованнами

если a < b - true, то a >= b - false

если a == b то

(a == b) == (a == b)
источник

AZ

Alex Zhukovsky in rust_offtopic
и так далее
источник

AB

Artöm Bakri Al-Sarmi... in rust_offtopic
Alex Zhukovsky
одно из ключевых свойств - сравнения должны быть согласованнами

если a < b - true, то a >= b - false

если a == b то

(a == b) == (a == b)
Верно. И это не выражается типами
источник

AZ

Alex Zhukovsky in rust_offtopic
Artöm Bakri Al-Sarmini
Верно. И это не выражается типами
выражается конечно
источник

λ

λоλторт in rust_offtopic
In the meantime, леваки всего мира оффициально признали что мародёрство это часть протеста. Самая эффективная часть.

https://thenewinquiry.com/in-defense-of-looting/
источник

AB

Artöm Bakri Al-Sarmi... in rust_offtopic
Alex Zhukovsky
выражается конечно
Каким образом?
источник

G

Gymmasssorla in rust_offtopic
А в std почему не выразили?
источник

DS

Doge Shibu in rust_offtopic
Artöm Bakri Al-Sarmini
Каким образом?
источник

p

polunin.ai in rust_offtopic
Artöm Bakri Al-Sarmini
Верно. И это не выражается типами
sort: ... -> (res: List a) where res[i] > res[i+1]
источник

DS

Doge Shibu in rust_offtopic
источник

DS

Doge Shibu in rust_offtopic
Вот кого интересовало
источник

DS

Doge Shibu in rust_offtopic
Тотальный порядок, все дела
источник

AZ

Alex Zhukovsky in rust_offtopic
Artöm Bakri Al-Sarmini
Каким образом?
доказать такие свойства для функции выполняются
источник