GHCI:如何在Prelude repl上保存状态？

Question

我试图在前奏repl中执行fibonacci，但我正在运行一个无限循环：

Prelude> fib 0 = 1
Prelude> fib 1 = 1
Prelude> fib n = fib(n-1) + fib(n-2)
Prelude>
Prelude> fib 3
<loops infinitely...>

我该如何解决这个问题？

Answer 1

如果你想用GHCi写一个多行声明，你需要把它包装在:{ :}中，这样Haskell就知道同时计算整个定义。你现在正在做的是定义一个函数fib，其中fib 0是1，然后定义一个新函数fib，它隐藏了第一个fib 1是1的函数，然后定义了第三个函数，它隐藏了第二个函数，这是Haskell在尝试执行fib 3时看到的唯一定义。解决方案是使用:{命令告诉GHCi这都是相同的定义：

Prelude> :{
Prelude| fib 0 = 1
Prelude| fib 1 = 1
Prelude| fib n = fib (n - 1) + fib (n - 2)
Prelude| :}
Prelude> fib 3
3

值得注意的是，将fib实现为像这样的递归函数肯定是非常耗时的，通常将其定义为递归无限列表会更好，如下所示：

Prelude> :{
Prelude| fib n = fibs !! n
Prelude|    where fibs = 1 : 1 : zipWith (+) fibs (tail fibs)
Prelude| :}
Prelude> fib 3
3