Differentiation of an algebraic data type, resulting in its zipper: https://uplo...

		sparkie on Jan 11, 2023 \| parent \| context \| favorite \| on: Ask HN: What's your favorite illustration in compu... Differentiation of an algebraic data type, resulting in its zipper: https://upload.wikimedia.org/wikipedia/commons/c/c7/Labyrint... Explanation: https://en.m.wikibooks.org/wiki/Haskell/Zippers (cites: http://strictlypositive.org/diff.pdf)

oh shiiiiit lol. I get it. that never made intuitive sense to me before. that's a good one.