Question

我理解这个函数和尾递归，但我无法弄清楚为什么严格的评估很重要。没有严格的评估，它仍然是尾递归的，对吧？那么这个函数何时会在没有严格评估的情况下失败？

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)

Answer 1

它不会失败（除非指数巨大，因此thunk可能变得足够大以溢出堆栈），它（可能）效率会降低，因为没有严格的评估，争论成为thunk，导致

turboPower' (let xN = let x(N-1) = ...; a(N-1) = ... in x(N-1)*a(N-1)) (let aN = let a(N-1) = ... in a(N-1)*a(n-1)) (let bN = ...)

这里不应该过于戏剧化，因为嵌套的水平在指数中是对数的，因此对于所有实际计算来说仍然很小，但是它会产生巨大的差异，例如在

中

foo :: Integer -> Integer
foo n = go 0 n
  where
    go acc m
      | m < 1     = acc
      | otherwise = go (acc + m^3 + m `mod` 7) (m-1)

其中嵌套级别在n中是线性的。

在幂函数的尾递归定义中严格评估的重要性

1 个答案: