Utilisez `seq` et imprimez en haskell

Question

Je sais que c'est un peu difficile mais je me demande pourquoi ça ne marche pas!

module Main where 

sillyDebug :: Int -> Int -> Int 
sillyDebug x y = 
    (print x) `seq` (x + y) 

main :: IO() 
main = do 
    print (sillyDebug 1 2) 

alors que son idéal est le même que

sillyDebug = (trace (show x) False) `seq` (x + y) 

Est-il lié à l'effet d'évaluation ou sur le côté paresseux haskell? https://hackhands.com/lazy-evaluation-works-haskell/

Answer 1

Evaluer simplement une action IO ne fait rien du tout. Vous pouvez penser à IO comme un très gros type de somme de toutes les choses secondaires possibles Haskell peut faire faire, même si elle n'est pas réellement mise en œuvre comme ça du tout. Quelque chose comme ceci:

data IO a where 
    PutStrLn :: String -> IO() 
    ReadFile :: FilePath -> IO String 
    ExitWith :: ExitCode -> IO a 
    ... 

L'un des IO constructeurs dans cette visualisation théorique serait un constructeur Sequence, avec une signature de type comme celui-ci:

Sequence :: IO a -> (a -> IO b) -> IO b 

Ce constructeur est utilisé pour mettre en œuvre >>= pour le IO type.

À l'intérieur de GHC est une fonction magique appelée magicallyExecuteIO avec le type IO a -> a, qui coordonne pour chaque action d'effectuer réellement son effet secondaire correspondant. (Incidemment, cette fonction est aussi parfois prononcée unsafePerformIO.) GHC appelle implicitement magicallyExecuteIO sur le résultat de la fonction main de votre programme, ainsi que sur les expressions écrites en GHCi.

Cependant, sans utiliser magicallyExecuteIO, l'évaluation d'un des constructeurs IO comme PutStrLn ne fait rien. Dans cette mise en œuvre, il serait tout simplement travailler comme tout autre constructeur de données:

ghci> Just (PutStrLn "hello!") 
Just (PutStrLn "hello!") :: Maybe (IO()) 

(. Je l'ai enveloppé avec Just pour empêcher GHCi d'exécuter l'action IO)

Bien sûr, IO réelle de GHC Type n'est pas implémenté de cette façon, mais c'est juste un détail d'implémentation. L'évaluation d'une valeur IO a ne provoque pas d'effet secondaire plus qu'une évaluation d'une valeur Maybe a. Seulement magicallyExecuteIO peut le faire.