Quelles bibliothèques OCaml sont là pour la gestion des listes paresseuses?

Question

Quelles sont les bibliothèques OCaml qui fournissent une gestion de liste paresseuse? Je cherche quelque chose le long de ces lignes:

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 

Intégration avec le type Stream et le sucre syntaxique pour retours en arrière Camlp4 parseurs serait bien.

Answer 1

Ocaml Batteries a un lazy list module, consultez la fonction to_stream. Pour revenir en arrière, vous pouvez regarder dans les analyseurs de flux de camlp4 maintenant que vous avez un Stream.t.

Answer 2

En outre, il existe un module de liste paresseux appelé Cf_seq dans ma base de données OCaml Network Application Environment. En fait, j'ai écrit tout un tas de structures de données fonctionnelles. Tout est disponible sous licence BSD à 2 clauses. Prendre plaisir.

Mise à jour: le code a été renommé "Oni" et il est maintenant hébergé chez BitBucket. Vous pouvez également utiliser le package GODI pour cela.