Paramorphisme

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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[modifier | modifier le code]

  1. 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,‎ mars 1987
  2. (en) Erik Meijer, Fokkinga, Maarten; Paterson, Ross, « Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire »,‎ 1991

Voir aussi[modifier | modifier le code]