ANNOUNCE: yap-0.0 - yet another prelude
fischer at nii.ac.jp
Fri Aug 12 03:53:41 CEST 2011
>> 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.
More information about the Libraries