Anamorphism
From Wikipedia, the free encyclopedia
 |
This article contains too much jargon and may need simplification or further explanation. Please discuss this issue on the talk page, and/or remove or explain jargon terms used in the article. Editing help is available. (May 2008) |
Anamorphism is a concept from functional programming grounded in category theory. The term comes from Greek ανα- (upwards) + morphism (from Greek μορφή, or form, shape).
Contents |
[edit] Anamorphisms in functional programming
In functional programming, an anamorphism is a generalization of the list-producing unfolds known from functional programming to arbitrary abstract data types that can be described as final coalgebras. Unfolds are the co-recursive analogues of recursive folds.
One of the first publications to introduce the notion of an anamorphism in the context of programming was the paper "Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire", by Erik Meijer et al., which was in the context of the Squiggol programming language.
[edit] Anamorphisms in category theory
In category theory, anamorphisms are the categorical dual of catamorphisms.
[edit] Notation
A notation for ana f found in the literature is ![[\!(f)\!]](http://upload.wikimedia.org/math/6/6/2/66214b56426b80e3463c1a6d75778b52.png)
. The brackets used are known as lens brackets, after which anamorphisms are sometimes referred to as lenses.
[edit] See also
[edit] External links
- Erik Meijer, Maarten Fokkinga, and Ross Paterson. Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire [1], contains additional definitions and examples
