読者です 読者をやめる 読者になる 読者になる

循環参照?

プログラム

Haskellのlet文中の束縛参照って評価時間が違うんだけど,循環参照にならないの?(p188)

f x y let x = y + 1
          y = x * 2
      in  x * y

追記:
やっぱり起こるね

main = print cyclic 3 4
cyclic :: Int -> Int -> Int
cyclic x y = let z = x
                         x = z
                   in x * y * x

で処理が止まらなくなった・・・