Recherche:

Certes mais dans son premier message, il indique vouloir éviter les abus de langage.

Dire que IO a est un type monadique est un abus de langage vu que Monad n'est pas un type mais une classe. Pour...

la fonction 'hasard' a pour type IO Int. Ceci n'est pas un type monadique. D'ailleurs cette dénomination n'a aucun sens.

Par contre, là où je suis d'accord avec toi, c'est que IO est une instance...

@Chatanga

J'ai peut-être mal compris ton poste mais dans la fonction foo 'unsafePerformIO hasard' sera bien exécutée sur le champ. Comme le prouve le vrai programme ci-dessous:



module...

Soit la fonction hasard suivante



hasard :: IO Int


Quand elle sera exécutée, elle produira un nombre entier aléatoire.

Soit maintenant la fonction foo suivante