Functor => Pointed => Applicative => Monad
David Menendez
dave at zednenem.com
Tue Nov 30 17:05:27 CET 2010
On Tue, Nov 30, 2010 at 5:31 AM, John Lato <jwlato at gmail.com> wrote:
>> From: David Menendez <dave at zednenem.com>
>>
>> Is Pointed useful at all? The last time this discussion came up, I
>> asked for algorithms which were generic over pointed functors (in the
>> same way that traverse is generic over applicative functors) and no
>> one could think of any.
>
> It's useful for 'singleton' on probabilistic data structures (e.g. a Bloom
> filter).
Again, I'm asking for clients, not implementations. Are there any
useful, non-trivial functions which are parameterized by arbitrary
Pointed functors?
Consider the way Happy is parameterized by a monad. Does anything
similar exist for Pointed?
I contend that there is little benefit to splitting Applicative. By
itself, 'pure' is simply too loosely defined.
--
Dave Menendez <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>
More information about the Libraries
mailing list