Haskell递归求和函数报错：负指数异常求助

错误原因分析 #

1. 递归逻辑偏离需求：原代码子函数错误地累加高次项并重复添加a，完全不符合题目求和式的定义。
2. 终止条件设置错误：findSum3仅在n<0时返回0，当输入n=4时，递归调用findSum3 a b 1，此时计算2^(1-3)=2^(-2)，触发负指数异常。
3. 求和逻辑错误：原递归方式漏掉低次幂项，且重复累加a，导致计算结果完全错误。

修正方案：数学公式简化计算 #

题目中的三个求和式都是等比数列求和，可直接化简为数学公式，避免递归的错误和性能损耗：

• 第一个求和式：a + b*(2^0 + 2^1 + ... + 2^(n-1)) = a + b*(2^n - 1)
• 第二个求和式：a + b*(2^0 + ... + 2^(n-2)) = a + b*(2^(n-1) - 1)
• 第三个求和式：a + b*(2^0 + ... + 2^(n-3)) = a + b*(2^(n-2) - 1)

修正后的代码：

findSum :: Int -> Int -> Int -> Int
findSum a b n
  | a >= 0 && b > 0 && n > 3 = sum1 + sum2 + sum3
  | otherwise = 0
  where
    sum1 = a + b * (2^n - 1)
    sum2 = a + b * (2^(n-1) - 1)
    sum3 = a + b * (2^(n-2) - 1)

可选：递归实现（仅作演示，不推荐） #

若坚持用递归实现，需修正逻辑，从低次幂到高次幂累加，并设置正确的终止条件：

findSum :: Int -> Int -> Int -> Int
findSum a b n
  | a >= 0 && b > 0 && n > 3 = findSum1 a b n + findSum2 a b n + findSum3 a b n
  | otherwise = 0
  where
    -- 计算第一个求和式
    findSum1 a b n = a + b * sumGeo 0 (n-1)
      where
        sumGeo start end
          | start > end = 0
          | otherwise = 2^start + sumGeo (start+1) end
    
    -- 计算第二个求和式
    findSum2 a b n = a + b * sumGeo 0 (n-2)
      where
        sumGeo start end
          | start > end = 0
          | otherwise = 2^start + sumGeo (start+1) end
    
    -- 计算第三个求和式
    findSum3 a b n = a + b * sumGeo 0 (n-3)
      where
        sumGeo start end
          | start > end = 0
          | otherwise = 2^start + sumGeo (start+1) end

内容的提问来源于stack exchange，提问作者Crystal