3 ms·
I’m so bummed that I can’t understand this paper, coming from the lisp camp. Do I need to go to conferences or something to understand this? I read “learn you a
by upghost 4y ago
I’m so bummed that I can’t understand this paper, coming from the lisp camp. Do I need to go to conferences or something to understand this? I read “learn you a Haskell” but this seems to be a bit beyond that. I can’t tell if the concept of “derivative of a type” is an overload of calculus operators (totally fine) and there’s no actual relationship or if this is a serious suggestion of a “derivative”. Huge fan of ADTs, though, great way to write composable code, so if anyone has some insight on how to get some insight, I’d love to hear it!
- javcasas 4y agoMaybe with some examples: https://wiki.haskell.org/Zipper https://wiki.haskell.org/Zipper https://en.m.wikipedia.org/wiki/Zipper_(data_structure) https://en.m.wikipedia.org/wiki/Zipper_(data_structure) To give you an example: the zipper of a list is two lists - one for the elements after the current one (the hole), another for the elements before the current one, plus the current element.
- upghost 4y agoHey sorry this is late but thank you so much! The paper on zippers was especially helpful.
- rdtsc 4y agoThe Erlang version might be more familiar to you https://ferd.ca/yet-another-article-on-zippers.html https://ferd.ca/yet-another-article-on-zippers.html?