haskell - Haskell基本阶乘不退出？

Question

基本上，我已经定义了一个阶乘：

Prelude> let factorial 0 = 1
Prelude> let factorial n = n * factorial (n - 1)

类型检查：

Prelude> :t factorial
factorial :: Num a => a -> a

这是有道理的。但是，此函数的行为不会。(interactive): out of memory无论输入是什么，它都会导致。

Prelude> factorial 5
(interactive): out of memory

我不得不假设这是一个导致内存不足错误的无限递归调用，但我不确定是什么可能导致它。发生同样的事情factorial 0，即使我已明确声明它为 1：

Prelude> factorial 0
(interactive): out of memory

现在，这是奇怪的部分：如果我在文件中定义阶乘函数，它工作正常。我创建一个文件tesths.hsst：

factorial 0 = 1
factorial n = n * factorial (n - 1)

然后，如果我回到 GHCI 并运行:l tesths.hs，我可以毫无错误地执行factorial 5。

这里发生了什么？

score 16 · Accepted Answer

定义了两个函数，而不是一个具有两种情况的函数。在第一次运行时尝试相同的命令:set -Wall，您应该会收到名称阴影警告。要解决问题，请尝试

let factorial 0 = 1; factorial n = n * factorial (n - 1)

反而。

score 12 · Accepted Answer

您还可以使用:{ ... :}语法提供多行输入：

Prelude> :{
Prelude| let factorial 0 = 1
Prelude|     factorial n = n * factorial (n - 1)
Prelude| :}
Prelude> factorial 10
3628800
Prelude>

同样，您可以使用多行模式和缩进:set +m：

Prelude> :set +m
Prelude> let factorial 0 = 1
Prelude|     factorial n = n * factorial (n - 1)
Prelude| 
Prelude> factorial 10
3628800
Prelude>

注意空行。您可以使用关闭多行模式:unset +m。

score 4 · Accepted Answer

4

请注意，也有这个漂亮的单线：

let factorial n = product [1..n]

于 2013-04-12T19:48:21.857 回答

3 回答 3