¿Cómo haces que esta cola de la función de potencia Haskell sea recursiva?

Question

¿Cómo puedo hacer que esta cola de la función de potencia Haskell sea recursiva?

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) 

Básicamente, lo que se quiere hacer es mover la multiplicación de que está haciendo en el "otherwise" el paso (ya que eso es lo que hace que esto sea recursiva de cola inicialmente) a otro parámetro.

Editado para agregar una línea que hace que los tres parámetros sean estrictamente evaluados, en lugar de perezosos, ya que esta es una de esas situaciones conocidas en las que la pereza puede perjudicarnos.