Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-recursion-schemes
Resources for learning and using recursion schemes.
https://github.com/passy/awesome-recursion-schemes
Last synced: 3 days ago
JSON representation
-
Articles
-
- Catamorphisms
- Recursion Schemes: A Field Guide (Redux)
- Catamorphisms - Definition on the Haskell Wiki.
- Rotating Squares - Using a hylomorphism to rotate a quadtree by Jared Tobin.
- Recursion Schemes, Part V: Hello, Hylomorphisms
- Promorphisms, Pre and Post - Practical examples of pre- and postpromorphisms by Jared Tobin.
- Time Traveling Recursion Schemes - Exploring histo and futu by example by Jared Tobin.
- Recursion Schemes, Part IV: Time is of the Essence - Practical article about histomorphism and the futumorphism.
- Cheat Sheet - Map of various recursion schemes and their duals.
- Correcting the Visitor pattern - Showing that the Visitor pattern implements an f-algebra for use with a catamorphism (in Java).
- Recursion Schemes in Scala - Introduces the fixpoint combinator, anamorphism, catamorphism, hylomorphism, paramorphism, apomorphism, histomorphism, dynamorphism and futumorphism.
- What's in a Fold: The Basic Catamorphism in recursion-schemes - Introduces catamorphism as a generalization of fold.
-
Hylomorphisms in the Wild
- Stalking a Hylomorphism in the Wild - Advent of Code 2017, Domino challenge
- Open Seasons on Hylomorphisms - Advent of Code 2018, String comparison challenge
-
-
Introductions
-
Papers
-
Hylomorphisms in the Wild
- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire, 1991, Meijer et al.
- A Duality of Sorts, 2013, Hinze et al.
- Sorting with Bialgebras and Distributive Laws, 2012, Hinze et al.
- Scrap your boilerplate: a practical design pattern for generic programming, 2003, SPJ et al.
- Scrap your boilerplate: a practical design pattern for generic programming, 2003, SPJ et al.
-
-
Presentations
-
Hylomorphisms in the Wild
- Slidedecks by Tim Philip Williams
- Unifying Structured Recursion Schemes
- Recursion Schemes
- F-algebras or: How I Learned to Stop Worrying and Love the Type System
- A Gentle Introduction to Recursion Schemes
- Bracer: Transforming Real-World Languages with Coproducts and Recursion Schemes - High-level talk about structuring programs with coproducts and recursion schemes by Patrick Thomson.
- Recursion: Where Functional Programming Hits Bottom - Introduction to recursive fix point data structures and recursion schemes in Haskell and Scala by Greg Pfeil.
- Programming with algebras - Bartosz Milewski's article in talk form, presented at LambdaCon.
- Peeling the Banana: Recursion Schemes from First Principles - Zainab Ali's Introductory talk presented at LambdaWorld.
-
-
Cheat Sheets
-
Hylomorphisms in the Wild
- The Hitchhiker's Guide to Morphisms - Overview of different morphisms including a printable PDF.
-
-
Podcasts
-
Hylomorphisms in the Wild
- Magic Read Along - Casual discussions about
- Scala Love - Podcast about Scala that brings up
- the second episode
- The Haskell Cast - Recursion schemes come up in
- Episode 13 with John Wiegley
-
Sub Categories