递归函数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

--Found我的问题

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