Personal tools

Talk:Functor-Applicative-Monad Proposal

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(New page: === Fail === <hask>fail</hask> is useful for the error monad, <hask>Either String a</hask>. === Pointed === If <hask>return</hask> is the only method of the <hask>Pointed</hask> class t...)
 
("fail" has been addressed in the main proposal page)
 
(5 intermediate revisions by one user not shown)
Line 1: Line 1:
=== Fail ===
 
 
<hask>fail</hask> is useful for the error monad, <hask>Either String a</hask>.
 
 
 
=== Pointed ===
 
=== Pointed ===
   
 
If <hask>return</hask> is the only method of the <hask>Pointed</hask> class then <hask>Pointed</hask> should be included in the hierarchy. Better to be exactly mathematically correct once and for all.
 
If <hask>return</hask> is the only method of the <hask>Pointed</hask> class then <hask>Pointed</hask> should be included in the hierarchy. Better to be exactly mathematically correct once and for all.
  +
  +
== Pure vs. return ==
  +
  +
When combining <hask>pure</hask> and <hask>return</hask>, perhaps we should call it <hask>pure</hask>, or something else that is not <hask>return</hask>? 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 <hask>return</hask> is nothing like "return" in other languages.

Latest revision as of 20:46, 1 January 2011

[edit] 1 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.

[edit] 2 Pure vs. return

When combining
pure
and
return
, perhaps we should call it
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.