Size: a a a

2021 April 09

ΑZ

Αλεχ Zhukovsky in rust_offtopic
о нет
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
злой брат близней разлученный в детстве
источник

а

а это кто in rust_offtopic
да
источник

IL

Ilya L in rust_offtopic
Ради мемов
источник

а

а это кто in rust_offtopic
источник

а

а это кто in rust_offtopic
в хаскеле Float реализует Ord лел
источник

EG

Emmanuel Goldstein in rust_offtopic
А в хаскелле есть аналог PartialOrd?
источник

EG

Emmanuel Goldstein in rust_offtopic
Кажется, там просто нет этого различия, а Ord тупо определяет операторы
источник

а

а это кто in rust_offtopic
только в сторонней либе
источник

а

а это кто in rust_offtopic
Не, там Ord требует рефлексивность
источник

EG

Emmanuel Goldstein in rust_offtopic
Подожди, но как тогда Double его реализует?
источник

а

а это кто in rust_offtopic
источник

а

а это кто in rust_offtopic
Вот да, непонятно как
источник

EG

Emmanuel Goldstein in rust_offtopic
Никак
λ => y
NaN
λ => y <= y
False
источник

EG

Emmanuel Goldstein in rust_offtopic
> The Haskell Report defines no laws for Ord.
источник

DS

Doge Shibu in rust_offtopic
В 90х такими мелочами не парились же
источник

а

а это кто in rust_offtopic
NaN != NaN, поэтому порядок Float и Double не рефлексивен
источник

DS

Doge Shibu in rust_offtopic
В ресерч языках
источник

а

а это кто in rust_offtopic
Аок
источник

DS

Doge Shibu in rust_offtopic
И да, всё связанное с числовой иерархией в хаскеле - это большой кек
источник