haskell - 为什么这个函数在 Haskell 中不终止？

Question

我很困惑为什么我的函数nest将f与其自身组合n次

nest f 0 = id
nest f n = f . nest f (n - 1)

永远不会终止。我本以为当 n 变为零时，它会“模式匹配”。我通过在 GHCI 中输入这两行并使用 nest (+ 1) 2 3 调用来定义它。

Answer 1

通过在两个单独的 REPL 行上键入该函数，您实际上是在第二次重新定义它，而忽略了基本情况。

将此函数输入 REPL 的正确方法是:

nest f 0 = id; nest f n = f . nest f (n - 1)

或者，您可以使用 :{ 命令进入多行模式，并使用 :} 退出。