Paramorphisme
Le paramorphisme (du Grec: παρά- = vers le haut; morphisme = forme) est un concept de la programmation fonctionnelle fondé sur la théorie des catégories. C'est une extension de la notion de catamorphisme[1],[2].
Références
- ↑ Phillip Wadler, « Views: A way for pattern matching to cohabit with data abstraction », Technical Report, Programming Methodology Group, University of Göteborg and Chalmers University of Technology, no 34,
- ↑ (en) Erik Meijer, Fokkinga, Maarten; Paterson, Ross, « Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire »,
Voir aussi
- Anamorphisme
- Apomorphisme
- Catamorphisme
- Hylomorphisme