16 Aug
2008
16 Aug
'08
8:20 a.m.
On Sat, Aug 16, 2008 at 01:06:29AM -0700, Ashley Yakeley wrote:
David Menendez wrote:
Personally, I prefer 'pure' to 'arr' for arrows, and I wish we could have called the operation in Applicative something different, but it's too late for that.
Hopefully one day the Applicative function will be called "return".
Certainly Functor (fmap) PreMonad (return) Applicative ((<*>)) Monad ((>>=)/join) would be the rational hierarchy, but don't hold your breath.