fact -3 error:Cannot infer instance

Question

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

Hugs> fact 3
6 :: Integer
(75 reductions, 140 cells)
Hugs> fact -3
ERROR - Cannot infer instance
*** Instance   : Num (a -> a)
*** Expression : fact - 3

按照规约的方式  fact -3  =》 -3 * fact -4
                                   =>  -4 * -3 * fact -5
                                   => ....
如何能得出 Cannot infer instance 的结论？

Answer 1

回复 2# SNYH

谢谢

Hugs> fact (-3)
ERROR - C stack overflow

一直归约不成功，所以溢出了~

Answer 2

haskell  里面  '-'  号  一般要括起来。。。。应该写成  fact (-3)
否则就成了   (-) fact 3  了。。。  
fact 是一个函数   减去 3  所以就  cannot infer instance  因为函数作用于 -  是未定义的