有哪些 OCaml 库可用于惰性列表处理？

Question

有哪些 OCaml 库提供惰性列表处理？我正在寻找类似的东西：

type 'a lazy_list = (*'*)
  | Nil
  | Cons of 'a * 'a lazy_list lazy_t

let from f = 
  let rec gen n = 
    lazy 
      (
        match f n with 
          | Some x ->
              Cons (x, gen (n + 1))
          | None ->
              Nil
      )
  in 
    gen 0

与 Stream 类型和回溯 Camlp4 解析器的语法糖集成会很好。

Answer 1

Ocaml 电池有一个惰性列表模块，查看 to_stream 函数。至于回溯，现在您有了 Stream.t ，您可以查看 camlp4 的流解析器。

Answer 2

另外，我的 OCaml 网络应用程序环境 中有一个名为 Cf_seq 的惰性列表模块核心基础。事实上，我写了一整套函数式数据结构。这一切都可以在 2 条款 BSD 许可证下使用。享受。

更新：代码已重命名为“Oni”，现在托管在位桶。您还可以使用 GODI 包。