Monade (informatique)

Carte Commune · n° 269024

En informatique, une monade est un patron de conception qui consite à envelopper des valeurs dans un conteneur particulier, auquel il est facile d'appliquer des séries d'opérations. Elle peut par exemple permettre une gestion simplifiée des erreurs d'exécutions, ou d'appliquer un calcul à une collection d'objets. Elle sont principalement utilisées dans le contexte de la programmation fonctionnelle. Plus concrètement, une monade est un constructeur de type, qui à n'importe quel type t {\displaystyle t} peut associer le type M t {\displaystyle Mt} . Celui-ci doit être équipé de deux opérations : une qui construit M a {\displaystyle Ma} à partir d'un élément a {\displaystyle a} de type t {\displaystyle t} (faisant passer l'élément dans le contexte monadique)...

Lire sur Wikipédia