Functor => Pointed => Applicative => Monad
jwlato at gmail.com
Wed Dec 1 11:44:46 CET 2010
On Wed, Dec 1, 2010 at 12:17 AM, Conor McBride
<conor at strictlypositive.org>wrote:
> On 30 Nov 2010, at 16:05, David Menendez wrote:
>> I contend that there is little benefit to splitting Applicative. By
>> itself, 'pure' is simply too loosely defined.
> It would be more interesting to have a type class for those
> functors which were not pointed. Relatively speaking.
I'm completely lost now. Do you mean something other than Functor? What
do you have in mind?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries