On Sat, 17 Jan 2026 00:03:51 GMT, John R Rose <[email protected]> wrote:
> I would prefer to see the ordering part tolerating partial orders (NaNs), and > then factor the ordering part on top of both ints and floats. > > Also, in the name of reducing primitives, I think a `compare(x,y)` method is > the correct primitive. It would return one of "lt", "gt", "eq", and (only for > FP orders) "uo". All the others, up to min/max, can be built on top as > default methods, even if they also end up hardwired to an override, for > efficiency. To make progress on getting experience using type classes, I'm going to push the current state of the PR. Reconsidering how ordering is handled be done as future work, along with other refinements of the modeling interfaces. Thanks. ------------- PR Comment: https://git.openjdk.org/valhalla/pull/1917#issuecomment-3781419094
