On Tue, Nov 30, 2010 at 5:31 AM, John Lato <jwlato@gmail.com> wrote:
From: David Menendez <dave@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@zednenem.com> <http://www.eyrie.org/~zednenem/>