Ocaml：遅延リスト

Question

倍数のシーケンスを表す遅延リストを作成するにはどうすればよいですか？例：

1 2 4 8 16 32 

Answer 1

素晴らしいブログenfranchised心はこのトピックに関する素晴らしい記事があります。

http://enfranchisedmind.com/blog/posts/ocaml-lazy-lists-an-introduction/

ます。また、これに対処するための標準的なライブラリですhttp://batteries.forge.ocamlcore.org/doc.preview%3Abatteries-beta1/html/api/Lazy%5Flist.html

をチェックアウトすることができます。

この質問はまた、この質問に非常に似ています

What OCaml libraries are there for lazy list handling?

Answer 2

使用ストリーム：カスタムlazy_listタイプを使用

let f x = Stream.from (fun n -> Some (x * int_of_float (2.0 ** float_of_int n))) 

または

let f x = 
    let next = ref x in 
    Stream.from (fun _ -> let y = !next in next := 2 * y ; Some y) 

：

type 'a lazy_list = 
    | Nil 
    | Cons of 'a * 'a lazy_list lazy_t 
let rec f x = lazy (Cons (x, f (2*x))) 

Answer 3

あなたが手でそれをしたい場合は、私はあなたが主なオプションに持っていると言うだろう：ephemientは（彼の解決策は少し壊れている除く）が言ったように

• は、カスタムlazy_listタイプを使用します：

  type 'a lazy_list = 
      | Nil 
      | Cons of 'a * 'a lazy_list 
  
  let head = function 
      | Nil -> failwith "Cannot extract head of empty list" 
      | Cons (h, _) -> h 
  
  let tail = function 
      | Nil -> failwith "Cannot extract tail of empty list" 
      | Cons (_, t) -> t 
  

• は、サンクの種類を使用します（それをサポートしていない言語で遅延評価を実装するために使用されるものなど）。リストを関数unit -> 'aとして定義し、現在の要素から次の要素を取得する方法を示します（ストリームを使用する必要はありません）。

  0 
  1 
  2 
  

Answer 4

：たとえば、すべての自然な整数のリストを定義するために、あなたは

print_int (naturals()); 
print_int (naturals()); 
print_int (naturals()) 

を行う場合は、次のような出力が得られます

let make_lazy_list initial next = 
    let lazy_list current() = 
     let result = !current in 
     current := (next !current); result 
    in lazy_list (ref initial) 

let naturals = make_lazy_list 0 (function i -> i + 1) 

ザ・操作を行うことができますまた、私のOCaml Network Application Environment Core Foundationには、Cf_seqという遅延リストモジュールがあります。実際には、機能的なデータ構造の全体を書きました。 2節のBSDライセンスの下で利用可能です。楽しい。

更新：コードの名前が「Oni」に変更され、BitBucketでホストされています。また、GODIパッケージを使用することもできます。