Haskell没有使用'＆gt;'产生的（Ord int）实例

Question

其他问题和问题虽然相似，但并不像这个。在这个特定的编译器错误中，Haskell GHC将不会编译以下代码，原因如下。我根本不明白 - 代码很简单。

--factorial

fact :: int -> int
fact 0 = 1
fact n | n > 0 = n * fact(n - 1)

main = print (fact 10)

（错误：）

No instance for (Ord int) arising from a use of `>'
Possible fix:
add (Ord int) to the context of
the type signature for fact :: int -> int
In the expression: n > 0
In a stmt of a pattern guard for
an equation for `fact':
n > 0
In an equation for `fact': fact n | n > 0 = n * fact (n - 1)

你能解释一下这个问题吗？

Answer 1

Int就是你想要的：

fact :: int -> int

- ＆GT;

fact :: Int -> Int

因为在Haskell中，类型需要以上限开头。

编辑：感谢Yuras对此发表评论：

或者如果你想要你可以使用类型类：

fact :: Integral a => a -> a

您可以根据需要为类型变量命名，包括int。此外，如果您想要将阶乘定义为一般数字，Num可能更适合您的目的。