Anamorphisme

Un article de Wikipédia, l'encyclopédie libre.

L'anamorphisme (du Grec: ανα- = vers le haut; morphisme = forme) est un concept de la programmation fonctionnelle fondé sur la théorie des catégories.

Sommaire 1 L'anamorphisme en programmation fonctionnelle 2 L'anamorphisme dans la théorie des catégories 2.1 Notation 3 Notes et références 4 Voir aussi 4.1 Articles connexes

[modifier] L'anamorphisme en programmation fonctionnelle

En programmation fonctionnelle, un anamorphisme est une généralisation de la liste de production (A traduire : unfolds) connu de la programmation fonctionnelle comme étant des types de données arbitraires qui peuvent être décrites en (A traduire : Final Coalgebras). (A traduire : Unfolds are the co-recursive analogues of recursive folds.)

Une des premières publications visant introduire la notion d'anamorphisme dans le contexte de la programmation fut l'oeuvre Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire,[1] par Erik Meijer, et qui fut dans le contexte du langage de programmation Bird-Meertens Formalism.

[modifier] L'anamorphisme dans la théorie des catégories

Dans la théorie des catégories, l'anamorphisme est (A traduire : categorical dual) du catamorphisme.

[modifier] Notation

Une notation pour ana f trouvée dans la littérature est . Les parenthèses utilisées sont connues sous le nom de (A traduire : lens brackets), après qui les anamorphismes réfèrent parfois aux (A traduire : lenses).

[modifier] Notes et références

• (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Anamorphism ».

[modifier] Voir aussi

[modifier] Articles connexes

• Catamorphisme
• Hylomorphisme
• Paramorphisme
• Apomorphisme