[Haskell-cafe] What do you call Applicative Functor Morphism?
conal at conal.net
Sat Nov 6 01:04:24 EDT 2010
I like "C morphism" in general, where "C" is the class name, so I use
"Applicative morphism" or "applicative functor morphism" (as in
On Fri, Nov 5, 2010 at 8:49 PM, <roconnor at theorem.ca> wrote:
> An applicative functor morphism is a polymorphic function,
> eta : forall a. A1 a -> A2 a between two applicative functors A1 and A2
> that preserve pure and <*>:
> eta (pure c) = pure c
> eta (f <*> x) = eta f <*> eta x
> What do you guys call such a thing? My leading candidate is "idomatic
> Russell O'Connor <http://r6.ca/>
> ``All talk about `theft,''' the general counsel of the American Graphophone
> Company wrote, ``is the merest claptrap, for there exists no property in
> ideas musical, literary or artistic, except as defined by statute.''
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe