Catamorphism

Перевод слова "catamorphism" на Русский язык

Существительное

catamorphism

catamorphisms множ.

Common noun used in category theory and functional programming.

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

Foldr is a catamorphism on lists.

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

Существительное

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.