Apomorphism

Apomorphism

An apomorphism (from "απο" — Greek for "apart") is the categorical dual of a paramorphism. Whereas a paramorphism models primitive recursion over an inductive data type, an apomorphism models primitive corecursion over a coinductive data type.

Origins

The term "apomorphism" was introduced in "Functional Programming with Apomorphisms (Corecursion)" [citation
last=Vene
first=Varma
first2=Tarmo
last2=Uustalu
title=Functional Programming with Apomorphisms (Corecursion)
journal=Proceedings of the Estonian Academy of Sciences: Physics, Mathematics
volume=47
number=3
pages=147–161
year=1998
url=http://citeseer.ist.psu.edu/vene98functional.html] .

References

ee also

* Anamorphism
* Catamorphism
* Hylomorphism
* Paramorphism


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Corecursion — In computer science, corecursion is a type of operation that is dual to recursion. Corecursion and codata allow total languages to work with infinite data structures such as streams. Corecursion is often used in conjunction with lazy evaluation.… …   Wikipedia

  • Catamorphism — The concept of a catamorphism is grounded in category theory, and has been applied to functional programming. It denotes the unique homomorphism for an initial algebra. The term comes from Greek Polytonic|κατα (downwards, according to) + morphism …   Wikipedia

  • Anamorphism — is a concept from functional programming grounded in category theory. The term comes from Greek Polytonic|ανα (upwards) + morphism (from Greek Polytonic|μορφή, or form, shape).Anamorphisms in functional programmingIn functional programming, an… …   Wikipedia

  • Hylomorphism (computer science) — In computer science, and in particular functional programming, a hylomorphism is a recursive function, corresponding to the composition of an anamorphism (which first builds a set of results; also known as unfolding ) and a catamorphism (which… …   Wikipedia

  • Paramorphism — A paramorphism (from Greek παρα , meaning close together ) is an extension of the concept of catamorphism to deal with a form which “eats its argument and keeps it too” [Phil Wadler. Views: A way for pattern matching to cohabit with data… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”