シャドーイングの `let`バインディングを使用するこのコードはなぜハングアップしますか？インタプリタで</p> <pre><code>j = let x = 4 in let x = x * x in x </code></pre> <p>を：

Question

このコードを実行する

ghci> j 
... no response ... 

は非常に少ないCPU使用率でハングアップします。どうしてこれなの？私はj = 16を期待した。

Answer 1

Haskellの報告書によると、section 3.12：

式は一般的な形式をd1 {聞かせてみましょう。 ...; dn}をeに入れ、ネストされたレキシカルスコープの相互再帰的な宣言のリスト（letは多くの場合、他の言語ではletrecと呼ばれます）を導入します。宣言のスコープは式eと宣言の右側です。

（強調鉱山）x = x * x、全てx sは同じ結合を参照して第二let、でそう

、結合外側x = 4を参照なし。