haskell - 元组声明进入无限循环

Question

在 Prelude 中试试这个

Prelude> (i, j) = (3, 4)
Prelude> (i, j) = (j, i)
Prelude> i

我期待 4，但我得到了一个无限循环

为什么？

如何以简洁优雅的方式做到这一点？

Answer 1

如果你定义

ghci> factorial n = if n == 0 then 1 else n * (factorial (n - 1))

您希望在 RHS 上使用 factorial 与在 LHS 上使用相同的factorial，对吗？

以同样的方式，以下定义了 i 和 j 本身:

ghci> (i,j) = (j,i)