Difference between revisions of "Talk:Functor-Applicative-Monad Proposal"
Jump to navigation
Jump to 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...) |
(No difference)
|
Revision as of 11:47, 14 December 2010
Fail
fail
is useful for the error monad, Either String a
.
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.