Hello everyone!
I’d like to share the third installment of my recursion schemes blog series - Sourced Recursion Schemes - it is a bit shorter than the last, but more focused and organized.
Last time, we figured out how to construct pathed morphisms - morphisms that know where they are. This time, we’re upgrading our pathed morphisms from fixed-type paths to polymorphic paths, and then doing some contemplating what it means for a path to start somewhere.
As always, if you spot any errors, points of confusion, or simply something you’d to see discussed further please let me know!
This is my first topic in the Discourse, as I was previously posting this series on r/haskell, but I have seen many friendly and familiar faces here - I am glad to not have lost my audience.