22 May
2012
22 May
'12
11:27 a.m.
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