纯函数中IO操作排序可行性及分页API无终止查询非IO/非递归实现问询

首先得明确你说的「不将query函数改为IO函数」具体指什么，分两种情况来看：

情况1：允许query保持有副作用的非纯函数 #

如果你的query现在是直接执行IO（比如发请求）并返回数据的非纯函数，那完全可以实现持续获取，而且不用递归——用普通的迭代循环就行：

举个JS风格的伪代码例子：

// 原来的query函数：直接发请求（有副作用）
async function query(pageNum) {
  const res = await fetch(`/api/data?page=${pageNum}`);
  return res.json();
}

// 用while循环迭代获取所有页，完全不用递归
async function fetchAllPages() {
  let currentPage = 1;
  const allData = [];
  while (true) {
    const pageRes = await query(currentPage);
    allData.push(...pageRes.items);
    // 假设API返回hasNextPage标识是否有下一页
    if (!pageRes.hasNextPage) break;
    currentPage++;
  }
  return allData;
}

这里fetchAllPages用while循环不断调用query，直到API说没有更多数据为止，全程不需要写递归函数。

情况2：要求query是纯函数（不能有IO副作用） #

如果你的query必须是纯函数，那它只能返回IO操作的描述（比如IO PageData），不能直接执行IO。这时候要实现持续获取，需要构建一个IO操作的序列，但可以不用手动写递归——用函数式编程里的unfold高阶函数来生成所有需要的IO操作：

举个Haskell风格的伪代码例子：

-- 纯的query函数：返回IO操作描述，不执行IO
query :: Int -> IO PageData
query pageNum = ... 

-- 用unfoldr生成所有需要的IO操作，避免手动递归
fetchAllPages :: IO [PageData]
fetchAllPages = sequence $ unfoldr fetchNextPage 1
  where
    fetchNextPage pageNum = do
      pageData <- query pageNum
      if hasNextPage pageData
        then Just (pageData, pageNum + 1)
        else Nothing

unfoldr是纯函数，它会从初始页号开始，不断调用fetchNextPage生成下一页的IO操作，直到没有更多数据为止；sequence则把这些IO操作合并成一个按顺序执行的大IO操作。整个过程你不用手动写递归逻辑，底层的递归由unfoldr处理。

结论 #

• 如果允许query保持有副作用的非纯函数：完全可以实现，用普通的迭代循环（while/for）就能搞定，不需要递归。
• 如果要求query是纯函数：也可以实现，但必须构建IO操作序列，这时可以用unfold之类的高阶函数避免手动写递归（底层还是递归，但不用你自己写）。

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