haskell - 它在从文件加载时有效，但在输入 ghci 时无效。为什么？

Question

如果我将以下两行放入 foobar.hs

f 1 = 1
f x = f (x-1)

然后

$ ghci
> :load foobar.hs
> f 5
1

但如果我这样做

$ ghci
> let f 1 = 1
> let f x = f (x-1)
> f 5
^CInterrupted.

然后它不会返回。为什么？

Answer 1

后者绑定(bind)覆盖前者。在 ghci 中使用它:

Prelude> :{
Prelude| let f 1 = 1
Prelude|     f x = f (x-1)
Prelude| :}
Prelude> f 5
1

或者，没有布局:

Prelude> let f 1 = 1; f x = f (x-1)
Prelude> f 5
1