Tag
functors
- 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 13, 2023 Applicative and Generative Functors in Modular Type Checking Why two applications of the same functor may or may not produce compatible abstract types, how path-based strengthening decides it, and what sealing hides. programming languages