Fancy recursion schemes are often mere catamorphisms in disguise.

@dpwiz What are catamorphisms ? Also, what's this «Base» type constructor ?

@alice `Base t` is a recursive type represented by a functor.

If your type is already something like `Fix ExpressionF`, then it simply unwraps the `Fix`.

But you can have `Expression a` type instead and it will project it to a `ExpressionF` (and embed back when needed).

@alice catamorphisms are folds for functor-encoded structures.

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!