ocaml - 有哪些 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 Batteries有一个 lazy list module ，查看 to_stream 函数。至于回溯，既然你有一个 Stream.t ，你就可以查看camlp4的流解析器。