Paramorphisme
Cet article est une ébauche concernant l’informatique.
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].
La notion invoquée par cet article est trop technique ou pas assez détaillée.
Il serait bien de la préciser au moyen d’un lien wiki ou d’une note.
Références
modifier- ↑ 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 »,
