Ocaml: Danh sách lười biếng

Question

Làm cách nào để tạo danh sách lười biếng đại diện cho một chuỗi các số có gấp đôi? Ví dụ:

1 2 4 8 16 32 

Answer 1

vĩ đại tâm viết blog enfranchised có một bài viết tuyệt vời về chủ đề này:

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

Bạn cũng có thể kiểm tra http://batteries.forge.ocamlcore.org/doc.preview%3Abatteries-beta1/html/api/Lazy%5Flist.html

đó là thư viện chuẩn để đối phó với điều này .

Câu hỏi này cũng rất giống với câu hỏi này:

What OCaml libraries are there for lazy list handling?

Answer 2

Sử dụng dòng:

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

hoặc

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

Sử dụng một kiểu tùy chỉnh lazy_list:

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

Nếu bạn muốn làm điều đó bằng tay, tôi muốn nói rằng bạn phải lựa chọn chính:

• Sử dụng một kiểu tùy chỉnh lazy_list, như ephemient nói (trừ giải pháp của ông là một chút bị hỏng) :

  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 
  

• Sử dụng một loại thunk (như điều được sử dụng để thực hiện đánh giá lười biếng bằng ngôn ngữ không hỗ trợ). Bạn xác định danh sách của mình dưới dạng hàm unit -> 'a cho biết cách lấy phần tử tiếp theo từ phần tử hiện tại (không cần sử dụng luồng cho điều đó). Ví dụ, để xác định danh sách của tất cả các số nguyên tự nhiên, bạn có thể làm

  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) 
  

  Các nếu bạn làm

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

  bạn sẽ nhận được kết quả như sau:

  0 
  1 
  2 
  

Answer 4

Ngoài ra, có một mô-đun danh sách lười biếng được gọi là Cf_seq trong Tổ chức lõi của tôi OCaml Network Application Environment. Trong thực tế, tôi đã viết một passle toàn bộ các cấu trúc dữ liệu chức năng. Tất cả đều có sẵn theo giấy phép BSD 2 điều khoản. Thưởng thức.

Cập nhật: mã đã được đổi tên thành "Oni" và hiện được lưu trữ tại BitBucket. Bạn cũng có thể sử dụng gói GODI cho nó.