なぜ：sprintは常に "_"を出力しますか？

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デバッガの一部です.GHCiデバッガでは、一度に1つずつコードをステップ実行できます。特にコードが無限ループに巻き込まれている場合は、printはGHCiをロックする可能性があるため、何もしたくないです。しかし、あなたはまだ何が起こっているのかを見たいと思っています。したがってsprintはこれまで評価されたものを見ることができます。

Answer 2

ハスケルは怠惰です。必要になるまで物事を評価しません。

GHCi sprintコマンド（Haskellの一部ではなく、インタープリタのデバッグコマンド）は、評価を強制することなく式の値を出力します。あなたは

let a = 3 

を書くとき

あなたは、右側の式に新しい名前aを結合するが、Haskellはまだそのことを評価しません。したがって、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]