3 ms·
Zipper is pretty interesting http://okmij.org/ftp/continuations/zipper.html http://okmij.org/ftp/continuations/zipper.html
by CuriousSkeptic 8y ago
Zipper is pretty interesting http://okmij.org/ftp/continuations/zipper.html http://okmij.org/ftp/continuations/zipper.html
- deleted 8y ago[deleted]
- theoh 8y agoThe idea of taking the derivative of an algebraic data type is also discussed in "Categories and Computer Science" from 1992: https://www.cambridge.org/core/books/categories-and-computer-science/203EBBEE29BEADB035C9DD80191E67B1 https://www.cambridge.org/core/books/categories-and-computer... That discussion covers some of the same ground as the Taylor series idea elsewhere in thus discussion. It doesn't get as far as inventing the zipper concept.
- deleted 8y ago[deleted]