Apomorphism

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

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

gollark: Why?
gollark: I dislike the POSIX socket API utterly.
gollark: https://www.man7.org/linux/man-pages/man2/socket.2.html is possibly maybe relevant?
gollark: Open a socket in what? C?
gollark: I would like events, if we did them and I liked them.

See also

References

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


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.