cvs commit: fptools/libraries/base/Control/Monad MonadRec.hs

[Ross Paterson]

On Mon, Sep 30, 2002 at 09:51:02AM +0100, Simon Marlow wrote:
> Levent Erkok <erkok@cse.ogi.edu> wrote:
> >   The MonadRec.hs library, stolen from the Hugs release.
> >   
> >   Note: There's a clear overlap with the library Control.Monad.Fix.
> 
> [...]
> 
> Secondly, I presume we should deprecate the MonadFix class in
> Control.Monad.Fix now?

I'm not so sure -- I think MonadFix is the right name for the class of
monads that have mfix.  And I think mfix (or fixM) is the right name for
the combinator, which is the counterpart of fix in the Kleisli category.
Levent, I know you call it a "value recursion operator", because it
underlies your value recursion syntax (mdo), but this operator can also
be used without using that syntax.  I think it would be like renaming
Control.Monad as Control.Do -- recursion is a syntactic feature; it's
not a property of a combinator, even though that combinator is used in
the implementation of recursive syntax.
_______________________________________________
Cvs-libraries mailing list
Cvs-libraries@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-libraries