3 ms·
This is a great explanation of algebraic datatypes! The notion of one-hole context, its connection to differentiation, and its application to zippers is really
by swift 15y ago
This is a great explanation of algebraic datatypes!
The notion of one-hole context, its connection to differentiation, and its application to zippers is really interesting stuff. Another (much more detailed) discussion of it can be found here: http://en.wikibooks.org/wiki/Haskell/Zippers http://en.wikibooks.org/wiki/Haskell/Zippers
- calebmpeterson 15y agoAgreed, the "if this looks like a derivative it's because it is" punchline made my jaw drop. I <i>never</i> expected to see calculus show up when discussing ADT's and mutation. The notion is so contrary to the way I'm used to thinking about programming and yet so appropriate given that mutation is change and a derivative describes the rate of change. I want some more!
- magoghm 15y ago"A true hero, Theseus chose Haskell as the language..." LOL!