catamorphism

English

Etymology

From cata- (“down”) +‎ morphism.

Noun

catamorphism (plural catamorphisms)

  1. (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.
This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.