Bonjour,
Vaste sujet en perspective : les monades.
Je pense avoir compris le principe des monades (être en mesure d'effectuer
des actions sur une valeur au sein d'un contexte), en revanche il y a deux
choses que je ne comprends pas :
* La notion de contexte (ou de cadre de calcul) est un peu floue
* Pourquoi est-ce que les monades sont aptes à contenir les effets de
bords (j'ai lu effectful computations) et pas d'autres typeclass (comme
Applicative).
Merci par avance pour vos réponses.