4 ms·

I guess my third option is to concentrate more on finding those connections. Thanks for the feedback.

• eru 17y ago
  Zippers are surprisingly practical. E.g. for a file system: http://okmij.org/ftp/Computation/Continuations.html#zipper-fs http://okmij.org/ftp/Computation/Continuations.html#zipper-f... If you want to read about Zippers and don't mind using your brain, then the presentation in "he Derivative of a Regular Type is its Type of One-Hole Contexts" (http://www.cs.nott.ac.uk/~ctm/diff.pdf http://www.cs.nott.ac.uk/~ctm/diff.pdf) is right for you. He talks about the connection between math and computer science: "Apart from the implementation of this technology, and the development of a library of related generic utilities, this work opens up a host of fascinating theoretical possibilities - one only has to open one’s old school textbooks almost at random and ask ‘what does this mean for datatypes?’."