Personal tools

Talk:Functor-Applicative-Monad Proposal

From HaskellWiki

Revision as of 20:43, 1 January 2011 by Jesin (Talk | contribs)

Jump to: navigation, search

1 Fail

fail
is useful for the error monad,
Either String a
.

2 Pointed

If
return
is the only method of the
Pointed
class then
Pointed
should be included in the hierarchy. Better to be exactly mathematically correct once and for all.

3 Pure vs. return

When combining
pure
and
return
, perhaps we should use the name
pure
, or something else that is not
return
? It would defy convention, yes, but we would already be making changes that would require a Legacy module for backwards compatability, and it may reduce confusion over what the function actually does, because Haskell's
return
is nothing like "return" in other languages.