Awesome Recursion Schemes — Project Awesome

Presentations

Collection of slide decks about recursion schemes.

Introduces catamorphism as a generalization of fold.

for Haskell - The canonical implementation by Edward Kmett.

for Scala using Scalaz - Generalized folds, unfolds, and traversals for fixed point data structures.

for Scala using Cats - Generalized folds, unfolds, and traversals for fixed point data structures.

for Idris, based off Edward Kmett's Haskell library.

for PureScript - Work-in-process port of matryoshka.

for ATS - Demonstration of recursion schemes in ATS.

for Dhall - a library for recursion schemes in Dhall.

for JavaScript/Flow - Schemes for data structures written in the style of flow-static-land.

for Kotlin - a re-envisioning based off Matryoshka using lightweight higher kinded polymorphism.