Tag
recursion-schemes
- Aug 12, 2026 Catamorphisms and Anamorphisms over Recursive Functors How a recursive datatype becomes the least fixed point of a functor, why its fold is unique, and what an unfold adds that a fold cannot express. programming languages
- Oct 24, 2024 Recursion Schemes: Catamorphisms, Anamorphisms, and Hylomorphisms The zoo of structured recursion operators, what each adds over the plain fold, and how the composition of a fold with an unfold collapses into a single pass. programming languages