Catamorphism

Übersetzung von "catamorphism" ins Russisch

Substantiv

catamorphism

catamorphisms Pl.

Common noun used in category theory and functional programming.

Термин из теории категорий и функционального программирования.

Foldr is a catamorphism on lists.

Функция foldr является катаморфизмом для списков.

Substantiv

In category theory, the unique morphism from an initial algebra to another algebra of the same endofunctor.

Given an initial algebra (A, α), the catamorphism to any algebra (B, β) is uniquely determined.

In functional programming, a generalised fold operation that deconstructs data structures.

In Haskell, foldr is a catamorphism on lists.