爲什麼：衝刺總是打印一個「_」？

Question

Prelude> let a = 3 
Prelude> :sprint a 
a = _ 
Prelude> let c = "ab" 
Prelude> :sprint c 
c = _ 

爲什麼總是打印_？我不完全明白:sprint命令的語義。

Answer 1

Haskell是惰性語言。在「需要」之前它不會評估結果。

現在，只需要打印一個值導致所有的「需要」。換句話說，如果您在GHCi中輸入一個表達式，它會嘗試打印出結果，從而導致所有結果都被評估。通常這就是你想要的。

sprint命令（這是GHCi功能，不屬於Haskell語言的一部分）允許您查看此時已評估了多少值。

例如：

Prelude> let xs = [1..] 
Prelude> :sprint xs 
xs = _ 

所以，我們只是宣佈xs，並且它目前未評估。現在，讓我們打印出的第一個元素：

Prelude> head xs 
1 
Prelude> :sprint xs 
xs = 1 : _ 

現在GHCI評估了列表的頭部，但僅此而已。

Prelude> take 10 xs 
[1,2,3,4,5,6,7,8,9,10] 
Prelude> :sprint xs 
xs = 1 : 2 : 3 : 4 : 5 : 6 : 7 : 8 : 9 : 10 : _ 

現在評估前10個元素，但剩下更多。 （由於xs是無限列表，這並不奇怪。）

您可以構造其他表達式並每次對它們進行一次評估以查看發生了什麼。這實際上是GHCi調試器的一部分，它可以讓您一次一步地完成代碼。特別是如果你的代碼陷入了無限循環，你不想print什麼，因爲這可能會鎖定GHCi。但你仍然想看看發生了什麼......因此sprint，它可以讓你看到迄今評估的東西。

Answer 2

哈斯克爾很懶。在需要之前它不評估事物。

GHCi sprint命令（不是Haskell的一部分，只是解釋器的調試命令）會打印表達式的值而不強制執行評估。

當你寫

let a = 3 

綁定一個新的名字a到右邊的表情，但哈斯克爾不會評價說事兒呢。因此，當您sprint它時，它會打印_作爲表示尚未評估表達式的值。

試試這個：

let a = 3 
:sprint a -- a has not been evaluated yet 
print a -- forces evaluation of a 
:sprint a -- now a has been evaluated 

Answer 3

我有點晚了，但我有一個類似的問題：

λ: let xs = [1,2,3] 
xs :: Num t => [t] 
λ: :sprint xs 
xs = _ 
λ: print xs 
λ: :sprint xs 
xs = _ 

這個問題是針對多態值。如果你有-XNoMonomorphismRestriction啓用ghci中永遠不會真正評估/力xs，它只會評價/力特：

λ: :set -XMonomorphismRestriction 
λ: let xs = [1,2,3] 
xs :: [Integer] 
λ: print xs 
λ: :sprint xs 
xs = [1,2,3]