8 Dec
2005
8 Dec
'05
1:29 p.m.
Scherrer, Chad wrote:
I'm wondering about a syntactic sugar for comonads. These are still very new to me, but it seems like their usage will become much more common once manipulations are more convenient (I believe this was the case with monads and arrows, correct?).
I'm actually rather interested in comonads as well, but coming from a different perspective. Has anyone built a sufficiently large set of examples of instances of the Comonad typeclass yet?