编写Haskell的isums函数：读取n个数返回总和并实时打印累计和

看起来你在尝试实现一个交互式的求和函数，核心需求是读取n个数字、返回总和，同时每输入一个数就打印到当前为止的累计和。你的代码思路方向是对的，但有几个关键问题需要调整，而且不用IORef完全可以实现——毕竟函数式编程里我们可以通过递归传递状态来替代可变变量。

原代码的问题 #

先说说你当前代码的几个问题：

• 缺少base case：当n减到0时，函数还会执行readLn，这会导致无限等待输入，甚至编译运行时出错。
• 递归顺序错误：你先读取了当前数字，然后直接递归调用isums (n-1)，这意味着程序会先处理后面的n-1个数字，再回头计算当前数字的累加，打印的num + sum其实是当前数字加上后面所有数的总和，完全不是“截至该数字的累计和”。
• 未绑定变量：代码里的第一个sum没有被定义，编译时会直接报错。

正确的实现方式 #

我们可以用一个辅助函数来跟踪当前的累计和，把累计状态通过参数传递下去，这是函数式编程中处理这类状态问题的标准做法。

isums :: Int -> IO Int
isums n = isumsHelper n 0  -- 初始累计和为0
  where
    -- 当没有剩余数字需要读取时，返回最终累计和
    isumsHelper 0 currentSum = return currentSum
    -- 还有剩余数字时的逻辑
    isumsHelper remaining currentSum = do
        num <- readLn
        let newSum = currentSum + num  -- 计算新的累计和
        putStrLn $ "截至当前的累计和：" ++ show newSum  -- 打印累计和
        isumsHelper (remaining - 1) newSum  -- 递归处理下一个数字，传递新的累计和

代码解释 #

1. 主函数调用辅助函数：isums一开始调用isumsHelper，传入初始的剩余数字个数n和初始累计和0。
2. Base case处理：当remaining（剩余数字个数）为0时，直接返回当前的累计和，结束递归。
3. 递归逻辑：
   • 先读取用户输入的数字num；
   • 用当前累计和加上num得到新的累计和newSum；
   • 打印这个新的累计和；
   • 递归调用isumsHelper，把剩余数字个数减1，同时传递更新后的累计和newSum。

这样每输入一个数字，都会立即计算并打印到当前为止的累计和，最终返回所有数字的总和，完全符合你的需求，而且不需要用到IORef。

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