遅延リスト処理を提供する 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
Camlp4 パーサーをバックトラッキングStream
するための型とシンタックス シュガーとの統合は素晴らしいでしょう。