search

lambdada / lambdada.org

Site web lambdada.org
MIT License
0 stars 0 forks source link

Haskell monads #2

Open BernardNotarianni opened 6 years ago

BernardNotarianni commented 6 years ago

Je suis tombé sur cette excellent explication des monad haskell, basée sur la monad IO.

https://wiki.haskell.org/IO_inside

L'article original de Peyton Jones dont la page wiki est inspirée:

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/mark.pdf

Qu'en pensez vous?

josselinauguste commented 6 years ago

J'en pense que ça va me servir, car j'ai commencé à coucher mes premières lignes d'haskell sur le papier électronique, et on arrive vite au point où l'on doit commencer à manipuler des monads (IO en particulier). Autant je suis à peu près à l'aise avec le concept, que la manipulation dans le code de tout les jours est une autre paire de manches. Surtout IO, qui a tendance à ce glisser là dans des appels qui dans tous les autres langages seraient triviaux.

josselinauguste commented 6 years ago

l'article sur la IO monad est effectivement très bien, et explique très bien le concept dernière cette monade qui n'est finalement pas si particulière :-) Et je n'avais jamais tilté que le type derrière une monade pouvait être une signature de fonction, ça rajoute un niveau de profondeur au concept ^^