proposal #2517: remove 'pure' method from Arrow class

Ross Paterson ross at soi.city.ac.uk
Sat Aug 16 08:20:41 EDT 2008


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.


More information about the Libraries mailing list