Mouais. Pas exactement quand meme. Grosso modo, une monade ca sert a specifier un ordre d'execution, ce qui permet de simuler des traits imperatifs. Mais ca reste de la simulation, parce qu'il n'y a pas de modification de la memoire. A la place, on trimbale de fonction en fonction le "monde environnant" et on bosse uniquement sur des valeurs. En un sens, ca ressemble plus a des continuations qu'a des effets de bord. M'enfin, personne n'a jamais dit qu'on n'avait pas besoin d'interagir avec le monde exterieur, donc il faut bien trouver un moyen d'y arriver sans casser les bonnes proprietes d'un langage paresseux.
(Et j'aurais tendance a dire que ce qui est cool dans Haskell c'est aussi les classes de types.)
[^] # Re: langages fonctionnels
Posté par Ababacar Octopuce . En réponse à la dépêche Reflexions sur le cliché "on peut faire de l'OO en n'importe quel langage". Évalué à 1.
(Et j'aurais tendance a dire que ce qui est cool dans Haskell c'est aussi les classes de types.)