(->) r est une instance de Monad, donc "Les fonctions sont des monades" ;) Mais je t'avoue que au niveau théorie des catégories, je suis largué et comme tu le dis, on peut vraiment dire n'importe quoi et que cela ai du sens.
Mais en effet, tu as raison, c'est simplement Reader en mode anonyme, merci de m'avoir fait observer cela.
[^] # Re: merci
Posté par Guillaum (site web personnel) . En réponse au journal Haskell et le tri. Évalué à 2.
(->) rest une instance deMonad, donc "Les fonctions sont des monades" ;) Mais je t'avoue que au niveau théorie des catégories, je suis largué et comme tu le dis, on peut vraiment dire n'importe quoi et que cela ai du sens.Mais en effet, tu as raison, c'est simplement
Readeren mode anonyme, merci de m'avoir fait observer cela.