你如何使这个 Haskell 幂函数尾递归？

【问题标题】：How do you make this Haskell power function tail recursive?你如何使这个 Haskell 幂函数尾递归？
【发布时间】：2015-01-28 02:24:14
【问题描述】：

如何使这个 Haskell 幂函数尾递归？

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

【问题讨论】：

代码前面不需要>。只需缩进四个空格。
顺便说一下，您应该使用quot 而不是div。另外请注意，通常的(^) 也是基于快速求幂算法。

标签： haskell tail-recursion

【解决方案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”步骤中执行的乘法（因为这就是阻止最初尾递归的原因）移动到另一个参数。

编辑添加一行，严格评估所有三个参数，而不是懒惰，因为这是众所周知的懒惰会伤害我们的情况之一。

【讨论】：

看起来您希望在累加器参数中使尾递归版本严格。否则，当需要计算结果时，您的 turboPower 可能会导致内存耗尽。
好点 - 我也想在a 中严格要求。完成。