Trình tự so với LazyList

Question

Tôi không thể quấn quanh đầu sự khác biệt giữa trình tự và LazyList. Cả hai đều lười biếng và có khả năng vô hạn. Trong khi seq<'T> là IEnumerable<'T> từ .NET framework, LazyList được bao gồm trong F# PowerPack. Trong thực tế, tôi gặp các chuỗi nhiều hơn thường xuyên hơn LazyList s.

Sự khác biệt của chúng về hiệu suất, mức sử dụng, khả năng đọc, v.v ... là gì? Lý do cho danh tiếng xấu như vậy của LazyList là gì so với seq?

Answer 1

LazyList chỉ tính mỗi phần tử một lần bất kể số lần danh sách được duyệt qua. Bằng cách này, nó gần với một chuỗi được trả về từ Seq.cache (chứ không phải là một chuỗi điển hình). Tuy nhiên, khác với bộ nhớ đệm, LazyList hoạt động chính xác như danh sách: nó sử dụng cấu trúc danh sách dưới mui xe và hỗ trợ khớp mẫu. Vì vậy, bạn có thể nói: sử dụng LazyList thay vì seq khi bạn cần danh sách ngữ nghĩa và bộ nhớ đệm (ngoài sự lười biếng).

Về cả hai là vô hạn, sử dụng bộ nhớ của seq là không đổi trong khi LazyList là tuyến tính.

Những docs có thể đáng đọc.

Answer 2

Ngoài câu trả lời của Daniel, tôi nghĩ sự khác biệt thực tế chính là cách bạn xử lý các cấu trúc LazyList hoặc seq (hoặc tính toán).

• Nếu bạn muốn xử lý LazyList, bạn thường sẽ viết một hàm đệ quy sử dụng kết hợp mô hình (khá giống với chế biến F # danh sách bình thường)

• Nếu bạn muốn xử lý seq, bạn có thể sử dụng được xây dựng trong chức năng hoặc bạn phải viết mã bắt buộc gọi GetEnumerator và sau đó sử dụng trả về điều tra trong một vòng lặp (có thể được viết như một hàm đệ quy, nhưng nó sẽ làm biến đổi điều tra). Bạn không thể sử dụng kiểu đầu/đuôi thông thường (sử dụng Seq.tail và Seq.head), vì điều đó cực kỳ không hiệu quả - vì seq không giữ nguyên tố được đánh giá và kết quả của Seq.head cần phải lặp lại từ đầu.

Về uy tín của seq và LazyList, tôi nghĩ rằng F # thư viện thiết kế một cách tiếp cận thực dụng - kể từ seq thực sự là NET IEnumerable, nó là khá thuận tiện cho việc lập trình .NET (và nó cũng là tốt đẹp bởi vì bạn có thể xem các bộ sưu tập khác là seq). Danh sách lười biếng không phải là danh sách F # thường xuyên và quá bình thường và seq là đủ trong hầu hết các trường hợp.