Tag
catamorphism
- 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
- Apr 25, 2026 Fold as the Universal List Eliminator Why foldr is the unique homomorphism from lists to any algebra, how the universal property turns programs into equations, and where foldl diverges from it. 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