haskell - Haskell 让表达式收敛，而使用 fix 的类似表达式不收敛

Question

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

Answer 1

默认情况下，let绑定中使用的最外层模式是惰性的。然而，在 lambda 绑定中使用的模式是严格的，所以模式匹配对元组的强制太早了。您可以通过在其前面加上前缀来显式编写惰性模式匹配~，使 lambda 模式等效于该let模式：

ghci> fix (\(~(x, y)) -> (y, 1))
(1,1)

这将模式匹配的实际评估推迟到强制绑定变量之一，而不是在调用函数时，避免循环。

有关更多信息，请参阅有关惰性模式的 Haskell wiki 文章。