遞歸函數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)