Est-ce que «évaluer» de Haskell réduit à normal ou WHNF?

Question

Je comprends (I think) que seq Haskell, sera (en général) reduce son premier argument à WHNF, et voir ce comportement comme prévu dans GHCi:

λ> let x = (trace "foo" Foo (trace "bar" Bar 100)) in seq x 0 
foo 
0 

Cependant, bien que le documentation for evaluate dit qu'il réduit également son argument à WHNF, on dirait qu'il réduit en fait pleinement son argument à la forme normale:

λ> let x = (trace "foo" Foo (trace "bar" Bar 100)) in evaluate x 
foo 
Foo bar 
(Bar 100) 

Je peux confirmer cet écart (apparent) avec

λ> let y = (trace "foo" Foo (trace "bar" Bar 100)) 
λ> seq y 0 
foo 
0 
λ> :sprint y 
y = <Foo> _ 

et

λ> let z = (trace "foo" Foo (trace "bar" Bar 100)) 
λ> evaluate z 
foo 
Foo bar 
(Bar 100) 
λ> :sprint z 
z = <Foo> (<Bar> 100) 

Si la documentation evaluate est correcte, ne devrait pas le comportement des seq et evaluate les mêmes? Qu'est-ce qui me manque ici (en tant que débutant Haskell)?

Answer 1

Ce que vous manquez est que GHCi aussi impressions le résultat des actions IO (si elles peuvent être affichés et ne sont pas ()), qui ne l'amener à évaluer la forme normale. Essayez plutôt:

λ> let x = (trace "foo" Foo (trace "bar" Bar 100)) in evaluate x >> return() 
foo