Talk for 19th Tü.λ
Title: "Recursion Schemes: Ana, Cata, Para, What"
Description: "Emerging from the depths of category theory, recursion schemes offer an elegant and efficient way to traverse recursive data structures. But how can they be used in practice? What are the differences between a catamorphism and a paramorphism? And how exactly does a futumorphism enable time travel??"
Slides in slides.md via
presenterm.
There's a rough PDF export in slides.pdf.
- Meijer, Fokkinga, Ross: "Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire"
- blog series: https://blog.sumtypeofway.com/posts/introduction-to-recursion-schemes.html
- Tim Williams talk: https://www.youtube.com/watch?v=Zw9KeP3OzpU
- cheatsheets
- https://github.com/sellout/recursion-scheme-talk/blob/master/cheat%20sheet.pdf
- https://b-studios.de/functional%20programming/morphisms/2016/02/21/the-hitchhikers-guide-to-morphisms.html
- awesome recursion schemes: https://github.com/passy/awesome-recursion-schemes