能否使用通用递归替代可变引用实现bundle函数？

原bundle函数通过可变引用维护累积状态，每次调用时更新状态并返回计算结果。我们可以用纯函数式递归替代可变引用，核心是将状态作为递归函数的参数传递，而非依赖可变存储。

核心思路 #

放弃可变引用，改为在递归过程中显式传递当前累积状态。结合Stream的惰性特性，通过递归生成序列时维护状态，完全避免副作用。

1. 纯函数式的状态传递版"bundle" #

先定义一个纯函数，接收当前状态和输入值，返回新状态和当前计算结果：

let bundlePure f acc x =
    let newAcc = f acc x
    (newAcc, newAcc) // 返回更新后的状态与本次计算结果

2. 用递归实现Stream.scan（无需可变引用） #

基于这个纯函数，通过递归遍历Stream，每次传递更新后的状态，生成扫描后的序列：

let streamScan f init stream =
    let rec loop currentAcc s =
        match s with
        | Stream.Empty -> Stream.Empty
        | Stream.Cons(head, tail) ->
            let (newAcc, result) = bundlePure f currentAcc head
            Stream.Cons(result, fun () -> loop newAcc (tail()))
    // 先返回初始值，再递归处理后续元素
    Stream.Cons(init, fun () -> loop init stream)

替代逻辑说明 #

原bundle配合Stream.map的方式，是通过可变引用隐式维护状态；递归版本则将状态传递显式化，完全遵循纯函数式设计。如果一定要基于Stream.map实现，本质上仍需结合递归闭包串联状态（但纯map本身无法独立维护状态，必须依赖递归的序列生成逻辑）。

递归版本的优势是无副作用、逻辑清晰，同时实现了和原方案完全一致的扫描功能。

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