[Haskell-fr] Éclaircissements sur les monades

[Gautier DI FOLCO]

Le 26 mars 2014 17:31, Arnaud Bailly <arnaud.oqube at gmail.com> a écrit :

> Qu'est ce qui est un peu flou dans la notion de contexte ? A part le fait
> que ce soit justement un mot flou... qui peut désigner n'importe quoi (une
> liste, une valeur optionnelle, le monde).
>

Par exemple que représente le fait d'avoir comme contexte/cadre de calcul
une liste ? que je ne peux utiliser que les fonctions propres aux listes ?


> Sur le fait que les monade soient plus aptes à contenir les effets de
> bord, il me semble que c'est parce que le concept d'effet de bord implique
> la séquentialité, un avant et un après : l'ordre dans lequel les effets de
> bord opèrent est important. Et c'est justement la propriété essentielle des
> monades qui n'est pas celle des foncteurs applicatifs que de séquencer des
> "opérations".
>
> Je trouve l'article de Wikipedia très clair :
> https://en.wikipedia.org/wiki/Monads_in_functional_programming
>
> Arnaud
>

Ma question est là, qu'est-ce qui défini cette notion de séquence ? en quoi
les 4-5 fonctions du typeclass font qu'il y a une notion de séquence ?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-fr/attachments/20140326/a6d5d796/attachment.html>