Haskell 中的无限循环？

Question

我认为这会产生一个阶乘函数...

（在 ghci 内）

Prelude> let ft 0 = 1
Prelude> let ft n = n * ft (n - 1)
Prelude> ft 5

（无限期挂起，直到 ^C）。

Answer 1

两个单独的 let 语句相互独立地解释。首先定义函数ft 0 = 1，然后定义新函数ft n = n * ft (n - 1)，覆盖第一个定义。

要定义具有两种情况的函数，您必须将两种情况放入单个 let 语句中。要在 GHCI 提示符下在一行中执行此操作，您可以通过 ; 分隔两种情况：

Prelude> let ft 0 = 1; ft n = n * ft (n - 1)
Prelude> ft 5
120