ANNOUNCE: yap-0.0 - yet another prelude
fischer at nii.ac.jp
Mon Aug 15 02:53:45 CEST 2011
On Mon, Aug 15, 2011 at 7:12 AM, Paterson, Ross <R.Paterson at city.ac.uk>wrote:
> Sebastian Fischer writes:
> > +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.
> I see your versions of + and * are infixr rather than infixl.
> Is that important?
I copied fixities from the Prelude  for + and * but don't know why they
are infixl there.
I think, I even prefer right associative operators. For example, for the
free semiring "bag of lists", + for bag union resembles ++ which is right
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries