@nif_ward @nikomatsakis To sort, < mustobeylaws eg x < y && y < z => x < z or !(x < y) && !(y < z) => !(x < z); but !(3 < NaN) && !(NaN < 4)
Sadly it appears that floating points do not satisfy even *strict weak ordering*. Took me and @pnkfelix some time to realize why, though.
-
-
-
@nikomatsakis should we just say: lt() must define a strict partial order (irreflexive, transitive, and asymmetric) and call it a day? - 1 more reply
New conversation -
-
-
@nikomatsakis@pnkfelix oh? How so? -
- 1 more reply
New conversation -
-
-
@nikomatsakis@pnkfelix tell us more?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.