functional programmers! what are some of your favorite data structures? what wild, weird, exotic things have you seen and been fascinated by?
for me, i’m especially in love with zippers/tubes/derivatives, and also with memotries 
-
-
tell me more!
-
The short version of the pitch is this: "just as using while and for loops rather than goto brings structure and harmony to imperative control flow, the use of recursion schemes over hand-written brings similar structure to recursive computations"
-
There's a great ~4 part intro/deep dive starting here, not sure if I can explain it well in a tweet quite yet but basically the idea is to abstract over the actual recursion such that you just need to provide a fn that does one 'layer' of the fold/unfoldhttps://blog.sumtypeofway.com/an-introduction-to-recursion-schemes/ …
-
oh yes, recursion generally speaking are neat :) it took me ages to understand foldr, and i think i only succeeded once i learned about Fix/Mu types
-
If you understand those types you should be able to pick up recursion schemes pretty quickly
-
yeah i figured it all out a few years ago after struggling for a while :p the relationship of mu types to other things is really cool too
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.