Какие библиотеки 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 . Что касается возврата, вы можете посмотреть потоковые парсеры camlp4 теперь, когда у вас есть Stream.t.

Answer 2

Кроме того, в моем среде сетевых приложений OCaml есть модуль отложенного списка Cf_seq Основной фонд. На самом деле я написал целый ряд функциональных структур данных. Это все доступно под лицензией BSD с 2 пунктами. Наслаждайтесь.

Обновление : код был переименован " Oni " и теперь он размещен в BitBucket. Вы также можете использовать для этого GODI пакет.