std::cmp::max fails.

[mcc@mastodon.social]

std::cmp::max fails.

The error message: "the trait bound `f32: Ord` is not satisfied"

*belabored sigh* sometimes the most frustrating thing about Rust is that it does things correctly

[elomatreb@chaos.social]

@mcc `std::cmp::max_by(a, b, f32::total_cmp)`

[simon@tutut.delire.party]

@elomatreb @mcc i was about to post this, and https://docs.rs/ordered-float/latest/ordered_float/struct.OrderedFloat.html

[ratsnakegames@mastodon.social]

@mcc you can't order floats. They obey nobody.

[aleums@timeloop.cafe]

@ratsnakegames @mcc i could order a float easily. Root beer for me please

[tdelmas@mamot.fr]

@simon @elomatreb @mcc A more exhaustive list: https://docs.rs/typed_floats/latest/typed_floats/#similar-crates

[soc@chaos.social]

@mcc In that case Rust is wrong.

Floats can be ordered, and the spec defines a total order.

It's Rust's subtyping relationship between PartialOrd and Ord that makes it impossible to implement more than one order.

[soc@chaos.social]

@simon @elomatreb @mcc The wrapper approach is not that useful in practice, because not every struct containing a float is under one's control.

That should have really just worked out of the box.

[mcc@mastodon.social]

@soc What is the total ordering with respect to NaNs?

[nora@blob.love]

@ratsnakegames @mcc you gotta have a plan in place for foam control

[ratsnakegames@mastodon.social]

@Aleums make it yourself

[soc@chaos.social]

@mcc -NaNs -Inf -nums -0.0 +0.0 +nums +Inf +NaNs

(If I remember correctly.)

[fraggle@social.coop]

@ratsnakegames @Aleums sudo make me a root beer float

[ratsnakegames@mastodon.social]

@Aleums Not in sudoers file. This violation will be logged.

[soc@chaos.social]

@mcc The spec technically allows some leeway around non-canonical encodings.

In practice, everyone uses the same integer shift/xor approach, which means that IEEE754's `totalOrder` predicate is ... a total order in pretty much every language/standard library.

[beeoproblem@mastodon.gamedev.place]

@ratsnakegames @mcc sure I can, there's a wide selection of them in my local fishing supply store