haskell - このHaskellべき関数の末尾再帰をどのように作成しますか？

Question

この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)

基本的に、実行したいのは、 " otherwise"ステップで実行している乗算を別のパラメーターに移動することです（これにより、これが最初に末尾再帰になるのを防ぐため）。

これは怠惰が私たちを傷つける可能性があるよく知られた状況の1つであるため、怠惰ではなく、3つのパラメーターすべてを厳密に評価する行を追加するように編集されました。