[Haskell-cafe] Better names for

Tony Zorman tonyzorman at mailbox.org
Wed Apr 22 15:47:54 UTC 2020

On Wed, Apr 22 2020 17:17, Vanessa McHale wrote:
> Pretty sure cofunctors are functors :p

Indeed!  What I meant to say was that the dual of a (covariant) functor
is again a (covariant) functor, not a contravariant one and hence you
again have the confusion as to which *kind* of functor the name should
refer to.

Tony Zorman | PGP: 0xc927de8c7dfd57b8
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 865 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20200422/1ce9811b/attachment.sig>

More information about the Haskell-Cafe mailing list