Monade (informatique)

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), et une autre permettant d'appliquer une fonction prenant en entrée le type t {\displaystyle t} à un élément M a {\displaystyle Ma} (permettant d'appliquer la fonction en conservant le contexte monadique). Ces deux opérations doivent répondre à certaines contraintes de comportement entre elles pour pouvoir qualifier l'objet de monade. De nombreuses constructions communément utilisées, comme List, Option, Result, ... sont des monades. L'usage des monades présente plusieurs intérêts : analyses statiques et preuves de programmes plus simples, usage de l'appel par nécessité, optimisations (déforestation, mémoïsation de valeurs, parallélisation, réduction forte (en)).