«Оценивает» Haskell в нормальном режиме или WHNF?

Question

Я понимаю (I think), что в Haskell seq, будет (как правило) reduce его первый аргумент WHNF, и видеть такое поведение, как ожидается, в GHCi:

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

Однако, несмотря на то, documentation for evaluate говорит, что он также уменьшает свой аргумент в WHNF, похоже, что он на самом деле полностью уменьшает свой аргумент к нормальной форме:

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

Я могу подтвердить это (видимую) расхождение с

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

и

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

Если документация evaluate правильно, не поведение seq и evaluate быть таким же? Что мне здесь не хватает (как начинающий Хаскелл)?

Answer 1

Что вам не хватает, что GHCi также печатает результате действий ввода-вывода (если они могут быть показаны и не ()), которые делает причиной его оценки к нормальной форме. Попробуйте вместо этого:

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