[Haskell-cafe] Grokking zippers

[Martijn van Steenbergen]

Hi Nathan,

Nathan Bloomfield wrote:
> arrow? I'm interested in studying this concept in more depth, but I 
> can't find a definition to start with.
> 
> Any pointers to good books or papers would be greatly appreciated. :)

The wiki page already gives some pointers to papers; have those been of 
any help? Specifically, [1] goes into quite some detail on how to 
mechanically take the derivative of a data type.

Hope this helps,

Martijn.

[1] http://www.cs.nott.ac.uk/~ctm/diff.pdf