Pourquoi ne pas utiliser une variable qui sert à identifier le flot au lieu d'utiliser une fonction explicite de lien est un mystère.
Parce qu'une variable, comme tu la penses, représente ton effet de bord. On est revenu au point de départ.
Dans un langage fonctionnel, tu n'as pas de variable au sens "impératif", donc tu ne peux pas utiliser ta "simplification". (OK, l'implémentation était ici faite dans des langages impératifs, c'est tentant de les utiliser ...)
Les monades (avec un "e" en français, il me semble) sont assez complexes, et on met beaucoup de temps à les comprendre (plusieurs années pour moi, sans y être à plein temps dessus quand même). Mais c'est une notion vraiment assez géniale à découvrir, même si, selon moi, sa complexité fait que ce ne sera jamais quelque chose que beaucoup de gens utiliseront.
[^] # Re: Quelques petites rectifications et une question
Posté par benoar . En réponse au journal Go : Un nouveau langage chez Google. Évalué à 2.
Parce qu'une variable, comme tu la penses, représente ton effet de bord. On est revenu au point de départ.
Dans un langage fonctionnel, tu n'as pas de variable au sens "impératif", donc tu ne peux pas utiliser ta "simplification". (OK, l'implémentation était ici faite dans des langages impératifs, c'est tentant de les utiliser ...)
Les monades (avec un "e" en français, il me semble) sont assez complexes, et on met beaucoup de temps à les comprendre (plusieurs années pour moi, sans y être à plein temps dessus quand même). Mais c'est une notion vraiment assez géniale à découvrir, même si, selon moi, sa complexité fait que ce ne sera jamais quelque chose que beaucoup de gens utiliseront.