[Haskell-cafe] Zipper and Comonad

[Sean Leather]

Hi Mathijs,

On Tue, May 22, 2012 at 8:42 AM, Mathijs Kwik wrote:

> After using zippers for a while, I wanted to dig a bit deeper into them.
> I found there is some relation between Zipper and Comonad, but this
> confuses me somewhat.
>

You might also take a look at:

Comonadic functional attribute evaluation
Tarmo Uustalu, Varmo Vene
Trends in Functional Programming 6 (2007), pp. 145-162
http://www.cs.ioc.ee/~tarmo/papers/tfp05.pdf

Regards,
Sean
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120522/c34d0101/attachment.htm>