In functional programming, the concept of catamorphism (from the Ancient Greek: κατά "downwards" and μορφή "form, shape") denotes the unique homomorphism...

and the catamorphism the summation of these leaf nodes. Morphism Morphisms of F-algebras From an initial algebra to an algebra: Catamorphism From a coalgebra...

function at each node on its terminal values and the recursive results (catamorphism, versus anamorphism of unfolds). Folds can be regarded as consistently...

algebra to an algebra: Catamorphism An anamorphism followed by an catamorphism: Hylomorphism Extension of the idea of catamorphisms: Paramorphism Extension...

anamorphosis, anthropomorphism, apomorphy, autapomorphy, automorphism, catamorphism, dimorphic, dimorphism, dysmorphic, dysmorphophobia, ectomorph, ectomorphic...

algebra to an algebra: Catamorphism From a coalgebra to a final coalgebra: Anamorphism An anamorphism followed by an catamorphism: Hylomorphism Extension...

algebra to an algebra: Catamorphism From a coalgebra to a final coalgebra: Anamorphism An anamorphism followed by an catamorphism: Hylomorphism Extension...

higher-order function, and the visitor pattern roughly corresponds to a catamorphism, or fold. Similarly, the idea of immutable data from functional programming...

function A → B can be used for the Map operation. This means that we have a catamorphism A* → (B, •, e). Here A* denotes a Kleene star, also known as the type...

nodes according to their tree structure. Formally, this operation is a catamorphism. Upward accumulation refers to accumulating on each node information...

anamorphosis, anthropomorphism, apomorphy, autapomorphy, automorphism, catamorphism, dimorphic, dimorphism, dysmorphic, dysmorphophobia, ectomorph, ectomorphic...

aspect-oriented programming to functional programming by helping writing catamorphisms compositionally. It refers to the Utrecht University Attribute Grammar...

like the Ackermann function. Algebras for a monad Algebraic data type Catamorphism Dialgebra The vertical arrows without labels in the second diagram must...

parallelisation are considerable. This is the basis of the map-reduce approach. Catamorphism Anamorphism Paramorphism Hylomorphism Ursula Martin; Tobias Nipkow (Apr...

a form of corecursion in the same way that a paramorphism (such as a catamorphism, such as fold) is a form of recursion. The Coq proof assistant supports...

“strong” functions like the Ackermann function. Algebraic data type Catamorphism Anamorphism Philip Wadler: Recursive types for free! University of Glasgow...

illustrated by David 'Hyperdave' Richardson. His graphic story "The Catamorph" featuring the eponymous hero created with Jan Scherpenhuizen appeared...