递归函数haskell上的堆栈溢出

Question

这是Haskell中幂函数的一种实现。 但是我有堆栈溢出错误。 不知道如何解决

power''::Integer->Integer->Integer
power'' _ 0=1
power'' 1 _=1
power'' n k
    |even k = power'' (n*n)  (k `div` 2)
    |otherwise = n * power'' n k-1

Answer 1

|otherwise = n * power'' n k-1

这是

|otherwise = (n * power'' n k)-1

因此，您将永远使用相同的参数进行递归。

Answer 2

-发现我的问题

 |otherwise = n * power'' n (k-1)