ANNOUNCE: yap-0.0 - yet another prelude

Sebastian Fischer fischer at
Mon Aug 15 02:53:45 CEST 2011

On Mon, Aug 15, 2011 at 7:12 AM, Paterson, Ross <R.Paterson at>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 [1] 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

Best regards,

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list