11 Aug
2011
11 Aug
'11
9:53 p.m.
it ignores the importance of semirings and runs headlong towards fields and beyond.
abs and signum are already split off, but it could be further split, with Monoid and Semiring subclasses of AbelianGroup and Ring, and that would fit nicely with a Natural type. I wasn't sure it was worth it
+1 for adding Monoid and Semiring earlier rather than later which would allow me to drop my own definitions for semirings in my libraries for regular expression matching and parallel programming. Sebastian