Haskell Depuración

Question

¿Cómo puedo imprimir una lista o algo en Haskell en cada llamada, por ejemplo:

funct a list = funct (a + 1) (a : list) 
       print list here ??????? but how ? 

Answer 1

Para la depuración, hay

import Debug.Trace 

funct :: Integer -> [Integer] -> Bool 
funct a list = trace (show list) $ funct (a + 1) (a : list) 

donde trace :: String -> a -> a. Utiliza unsafePerformIO debajo del capó, por lo que es malo y solo para la depuración.

Tenga en cuenta que, debido a la evaluación diferida, la salida de depuración puede aparecer en orden sorprendente e intercalarse con la salida que normalmente generaría el programa.

Con

module TraceIt where 

import Debug.Trace 

funct :: Integer -> [Integer] -> Bool 
funct 10 list = null list 
funct a list = trace (show list) $ funct (a + 1) (a : list) 

me sale

*TraceIt> funct 1 [] 
[] 
[1] 
[2,1] 
[3,2,1] 
[4,3,2,1] 
[5,4,3,2,1] 
[6,5,4,3,2,1] 
[7,6,5,4,3,2,1] 
[8,7,6,5,4,3,2,1] 
False 

como se esperaba.

Answer 2

Lo mismo que Daniel Fisher sugirió, pero con unsafePerformIO solamente.

> import System.IO.Unsafe 
> let funct a list = unsafePerformIO $ do { print list; return $ funct (a + 1) (a : list) } 

Tome un vistazo a la similar question describe lo que realmente está pasando cuando se utiliza unsafePerformIO.