14 Sep
2007
14 Sep
'07
12:58 a.m.
Le 13/09/07, Dupont Corentin
Pour moi une monade c'est une encapsulation d'une suite d'opérations impératives...
Cette définition a l'air un peu floue et assez inexacte en définitive. Une monade c'est juste un type et des opérations (>>=) et return sur ce type qui respectent les lois monadiques. Il y a un tas de tutorial sur le net et chacun les présentent à sa sauce, mais associer "impératif" et monade n'est pas juste, la monade IO introduit effectivement une succession d'opérations impures comme dans un programme impératif, néanmoins la plupart des monades ne sont nullement impures. -- Jedaï