Hi Mathijs,<br><br><div class="gmail_quote">On Tue, May 22, 2012 at 8:42 AM, Mathijs Kwik wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>After using zippers for a while, I wanted to dig a bit deeper into them.<br>



I found there is some relation between Zipper and Comonad, but this<br>
confuses me somewhat.</div></blockquote></div><br><div>You might also take a look at:</div><div><br></div><div>Comonadic functional attribute evaluation</div><div>Tarmo Uustalu, Varmo Vene</div><div>Trends in Functional Programming 6 (2007), pp. 145-162</div>


<div><a href="http://www.cs.ioc.ee/~tarmo/papers/tfp05.pdf" target="_blank">http://www.cs.ioc.ee/~tarmo/papers/tfp05.pdf</a></div><div><br></div><div>Regards,</div><div>Sean</div>