ما هي مكتبات لغة كامل الموضوعية هناك لكسول معالجة القائمة؟

Question

وماذا مكتبات لغة كامل الموضوعية هي ان هناك توفير كسول معالجة القائمة؟ أنا أبحث عن شيء على طول هذه الخطوط:

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

بطاريات لغة كامل الموضوعية لها <لأ href = "HTTP: //batteries.forge.ocamlcore. غزاله / doc.preview: بطاريات beta1 / أتش تي أم أل / المعهد / Lazy_list.html "يختلط =" noreferrer "> كسول وحدة قائمة ، وتحقق من وظيفة to_stream. أما بالنسبة التراجع، يمكن أن ننظر إلى موزعي تيار camlp4 الان ان لديك Stream.t.

Answer 2

وأيضا، هناك دعا Cf_seq في بلدي تطبيق البيئة الشبكة لغة كامل الموضوعية مؤسسة كور وحدة قائمة كسول. في الواقع، لقد كتبت passle كله هياكل البيانات الوظيفية. كل شيء متوفر تحت رخصة BSD 2-الشرط. التمتع بها.

على تحديث : في تمت إعادة تسمية رمز " أوني " وانها استضافت الآن في BitBucket. يمكنك أيضا استخدام GODI حزمة لذلك.