catamorphism
Jump to navigation
Jump to search
English
[edit]
Etymology
[edit]From cata- (“down”) + morphism.
Noun
[edit]catamorphism (plural catamorphisms)
- (functional programming) A generalization of the folds on lists known from functional programming to arbitrary abstract data types that can be described as initial algebras.