map and fmap
Cale Gibbard
cgibbard at gmail.com
Wed Aug 30 17:59:38 EDT 2006
Indeed, I agree.
On 30/08/06, Ashley Yakeley <ashley at semantic.org> wrote:
> Cale Gibbard wrote:
> > While we're at it, let's split MonadZero and MonadPlus --
> > the decision to merge them was not well thought-out, and a lot of
> > expressive power in type signatures is lost there.
>
> This should be split into three classes, "MonadZero", "MonadPlus" and
> "MonadOr" owing to variations in instances of the current MonadPlus.
>
> See:
> http://haskell.org/haskellwiki/MonadPlus
> http://haskell.org/haskellwiki/MonadPlus_reform_proposal
>
> --
> Ashley Yakeley
> Seattle WA
>
> _______________________________________________
> Haskell-prime mailing list
> Haskell-prime at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-prime
>
More information about the Haskell-prime
mailing list