Haskell递归调用中如何打印迭代值？以阶乘函数为例

云原生阿岚

2026-5-19

我来帮你搞定这个问题！首先得明确：Haskell是纯函数式语言，所有像打印这种带副作用的操作，都必须放在IO monad里执行。所以我们得把原来的纯阶乘函数，改成返回IO类型的版本，这样才能在递归的每一步插入打印逻辑。

假设你原来的尾递归阶乘代码大概是这样的（纯函数版本）：

factorial :: Integer -> Integer
factorial n = go n 1
  where
    go 0 ret = ret
    go n ret = go (n-1) (n*ret)

那修改成带打印的版本很简单，只需要把函数改成IO类型，在递归的go函数里加入打印操作就行：

factorial :: Integer -> IO Integer
factorial n = go n 1
  where
    go 0 ret = do
      putStrLn ""  -- 最后加个换行，让输出更整洁
      return ret
    go n ret = do
      putStr (show n ++ " ")  -- 打印当前n，用空格分隔
      go (n-1) (n * ret)

代码解释：

我们把factorial的类型从Integer -> Integer改成了Integer -> IO Integer，因为现在它不仅会计算阶乘，还会执行打印的副作用。
内部的go函数现在也返回IO Integer：
- 每次递归调用go时，先通过putStr打印当前的n值，加空格保证输出是你想要的5 4 3 2 1这种空格分隔的序列；
- 当n减到0时，我们打印一个换行（避免输出和GHCi的提示符挤在一起），然后返回积累的阶乘结果。

如果你不想输出末尾多一个空格，可以稍微调整一下逻辑，单独处理n=1的情况：

factorial :: Integer -> IO Integer
factorial n = go n 1
  where
    go 0 ret = do
      putStrLn ""
      return ret
    go 1 ret = do
      putStr (show 1)
      go 0 (1 * ret)
    go n ret = do
      putStr (show n ++ " ")
      go (n-1) (n * ret)