Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun computer science a generalization of the folds on lists known from functional programming to arbitrary abstract data types that can be described as initial algebras

Etymologies

from Wiktionary, Creative Commons Attribution/Share-Alike License

From cata- +‎ morphism.

Support

Help support Wordnik (and make this page ad-free) by adopting the word catamorphism.

Examples

  • Seeing the elements of a sequence being eaten one-by-one is quite a shocking catastrophic event for the sequence, hence the name catamorphism .

    B# .NET Technical Community Homepage bart 2010

  • Seeing the elements of a sequence being eaten one-by-one is quite a shocking catastrophic event for the sequence, hence the name catamorphism .

    B# .NET Technical Community Homepage bart 2010

  • Use of the terms "catamorphism" or "monad" or "partial application" or "currying" in your introductory talk is an exercise in stroking your own ego ….

    reddit.com: what's new online! 2010

  • The opposite of an anamorphism is a catamorphism, also known as Aggregate in LINQ.

    B# .NET Technical Community Homepage bart 2010

  • And finally, there's a stop condition which is implicit in the case of a catamorphism as the "remaining tail of sequence is empty" condition can be used for it

    B# .NET Technical Community Homepage bart 2010

  • To answer this question, we first have to understand what a catamorphism is.

    Planet Haskell Edward Z. Yang 2010

  • The point of the catamorphism is that this doesn't need to apply just to lists; in fact, we can run a catamorphism on any recursive data structure!

    Planet Haskell Edward Z. Yang 2010

  • And finally, there's a stop condition which is implicit in the case of a catamorphism as the "remaining tail of sequence is empty" condition can be used for it

    B# .NET Technical Community Homepage bart 2010

  • The functional programming crowd is well familiar with a few relatively banal examples of the catamorphism, namely the left fold and the right fold.

    Planet Haskell Edward Z. Yang 2010

  • But this didn't really seem to fit right: maybe you have a clever catamorphism for the problem, the overhead for fully parallelizing everything is prohibitive.

    Planet Haskell 2010

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.