Accueil🇫🇷Chercher

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

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

Voir aussi


Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.