📑 Table of Contents▼
This article is about the computer science term. For the term in biology, see Apomorphy.

In formal methods of computer science, an apomorphism (from ἀπό — Greek for "apart") is the categorical dual of a paramorphism and an extension of the concept of anamorphism (coinduction). Whereas a paramorphism models primitive recursion over an inductive data type, an apomorphism models primitive corecursion over a coinductive data type.

Origins

edit

The term "apomorphism" was introduced in Functional Programming with Apomorphisms (Corecursion).[1]

See also

edit

References

edit
  1. ^ Vene, Varmo; Uustalu, Tarmo (1998), "Functional Programming with Apomorphisms (Corecursion)" (PDF), Proceedings of the Estonian Academy of Sciences: Physics, Mathematics, 47 (3): 147–161


Stub icon

This formal methods-related article is a stub. You can help Wikipedia by adding missing information.

📚 Artikel Terkait di Wikipedia

Apomorphy and synapomorphy

In phylogenetics, an apomorphy (or derived trait) is a novel character or character state that has evolved from its ancestral form (or plesiomorphy). A

Paramorphism

as exemplified by the factorial function. Its categorical dual is the apomorphism. It is a more convenient version of catamorphism in that it gives the

Catamorphism

of catamorphisms: Paramorphism Extension of the idea of anamorphisms: Apomorphism Meijer, Erik; Fokkinga, Maarten; Paterson, Ross (1991), Hughes, John

Hylomorphism (computer science)

of catamorphisms: Paramorphism Extension of the idea of anamorphisms: Apomorphism Erik Meijer; Maarten Fokkinga; Ross Paterson (1991). "Functional Programming

Anamorphism

of catamorphisms: Paramorphism Extension of the idea of anamorphisms: Apomorphism Meijer, Erik; Fokkinga, Maarten; Paterson, Ross (1991). "Functional Programming

Pneumoridae

high angle. Within one species, a primary (plesiomorph) and alternative (apomorph) male form with differing mating strategies can arise. Details of these