[Haskell-fr] Éclaircissements sur les monades

[Arnaud Bailly]

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).

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

On 26 Mar 2014, at 18:10, Gautier DI FOLCO <gautier.difolco at gmail.com> wrote:

> 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.
> _______________________________________________
> Haskell-fr mailing list
> Haskell-fr at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-fr