我一直难以理解为什么haskell表达式如预期let (x,y) = (y,1) in (x,y)收敛(1,1)但fix (\(x,y)-> (y,1))导致<<loop>>被抛出.有谁能解释一下？
let (x,y) = (y,1) in (x,y)
(1,1)
fix (\(x,y)-> (y,1))
<<loop>>
haskell mutual-recursion
haskell ×1
mutual-recursion ×1