Come si fa a rendere ricorsiva questa funzione di potenza Haskell?

Question

Come potrei rendere ricorsiva questa funzione di potenza Haskell?

turboPower a 0 = 1 
turboPower a b 
    | even b = turboPower (a*a) (b `div` 2) 
    | otherwise = a * turboPower a (b-1) 

Answer 1

turboPower a b = turboPower' 1 a b 
    where 
    turboPower' x a 0 = x 
    turboPower' x a b 
     | x `seq` a `seq` b `seq` False = undefined 
     | even b = turboPower' x (a*a) (b `div` 2) 
     | otherwise = turboPower' (x*a) a (b-1) 

Fondamentalmente, ciò che si vuole fare è spostare la moltiplicazione che si sta facendo nel "otherwise" passo (dato che questo è ciò che mantiene questo dall'essere ricorsiva in coda inizialmente) ad un altro parametro.

Modificato per aggiungere una linea che valuti rigorosamente tutti e tre i parametri, anziché i pigri, poiché questa è una di quelle situazioni note in cui la pigrizia può farci del male.