Paramorphisme

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant l’informatique
Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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.

Pour plus de renseignements, consultez Aide:Wikification et Aide:Note.

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

Voir aussi[modifier | modifier le code]