24 Dec
2010
24 Dec
'10
7:30 p.m.
On 12/23/10 9:41 PM, Daniel Peebles wrote:
For me, mostly naming. Cofunctor isn't the right name for it, and comap, while short, feels wrong. Contrafunctor feels better but is also cumbersome. No problems with Comonad, though.
It is wrong. Cofunctors are exactly functors. It's unfortunate that "contramap" is such a long name though. -- Live well, ~wren