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