On Fri, 23 Jan 2026 19:50:49 GMT, Joe Darcy <[email protected]> wrote:
> First cut at adding modeling interfaces for the algebraic structures of > rings, groups, and fields. I think we'll find that the return on modeling the algebraic structures directly is less than we might think, because real-world numeric types like Integer and Float aren't actually rings or fields. (Haskell has these classes, but it keeps their operations separate from the mathematical operators; while `Num` declares `(+)` and `(*)`, `Monoid` declares `mzero` and `mappend`. But the logical conclusion of this is that they are not all that useful to numerics at all, and I expect they will not carry their weight in the end.) ------------- PR Comment: https://git.openjdk.org/valhalla/pull/1957#issuecomment-3792264998
