Re: [Haskell-fr] Re: inférence

[Chaddaï Fouché]

Le 13/09/07, Dupont Corentin<corentin.dupont at gmail.com> a écrit :
> 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ï