[Haskell-cafe] Alternative name for return
danburton.email at gmail.com
Tue Aug 6 20:23:47 CEST 2013
Bikeshedding at its finest. I think if we are very lucky, then a long time
from now we will be able to deprecate "return" in favor of
As for making it "invisible", that's what idiom brackets and monad
comprehensions are for. But for those creating an *instance* of Monad,
well, we obviously need to be able to refer to which operation we are
I like the idea of using "lift", because this is the word used for
MonadTrans, which is the same operation, but in the category of Haskell
Monads instead of the category of Hask. However, it is convenient to have
both in scope unqualified, so maybe lift would not be the best choice.
-- Dan Burton
On Aug 6, 2013 7:38 AM, "Tom Ellis" <
tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk> wrote:
> On Tue, Aug 06, 2013 at 04:26:05PM +0200, Jerzy Karczmarczuk wrote:
> > 1. First, it is not true that you can do with, say, (printStr "Ho!"
> > ) whatever you want. In fact, you can do almost nothing with it. You
> > can transport it "as such", and you can use it as the argument of
> > (>>=).
> I don't think this argument holds much water. You can do even less with
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe