F # có tương đương với việc sử dụng của Haskell không?

Question

Trong Haskell, có một hàm "lấy danh sách n" trả về các phần tử n đầu tiên từ một danh sách. Ví dụ: "sum (take 3 xs)" tổng hợp ba phần tử đầu tiên trong danh sách xs. F # có tương đương không? Tôi mong đợi nó sẽ là một trong những chức năng Danh sách, nhưng tôi không thể phát hiện ra bất kỳ thứ gì có vẻ phù hợp.

Answer 1

Vâng, nó được gọi là Seq.take. Cách sử dụng có vẻ giống hệt với số điện thoại của Haskell: Seq.taketính nguồn. Để sử dụng nó trên danh sách, trước tiên hãy sử dụng List.toSeq. (Cập nhật: Rõ ràng từ các ý kiến, điều này là không cần thiết.)

Answer 2

Để làm rõ một vài điều, sự khác biệt giữa Seq.take và Seq.truncate (như được chỉ ra bởi @ sepp2k) là một trong những thứ hai sẽ cung cấp cho bạn một chuỗi trả lại số tiền tối đa tối đa số phần tử bạn đã chỉ định (nhưng nếu độ dài của chuỗi ít hơn, nó sẽ cung cấp cho bạn ít phần tử hơn).

Trình tự tạo ra Seq.take chức năng sẽ ném ngoại lệ nếu bạn cố truy cập phần tử vượt quá độ dài của danh sách gốc (Lưu ý rằng hàm Seq.take không ném ngoại lệ ngay lập tức, vì kết quả là chuỗi được tạo lười biếng).

Ngoài ra, bạn không cần chuyển đổi danh sách thành chuỗi một cách rõ ràng. Dưới trang bìa, list<'a> là lớp .NET kế thừa từ loại seq<'a>, là giao diện. Loại seq<'a> thực sự chỉ là một bí danh loại cho IEnumerable<'a>, do đó, nó được thực hiện bởi tất cả các bộ sưu tập khác (bao gồm mảng, danh sách có thể thay đổi, v.v.). Các mã sau đây sẽ làm việc tốt:

let list = [ 1 .. 10 ] 
let res = list |> Seq.take 5 

Tuy nhiên, nếu bạn muốn có được một kết quả của loại list<int> bạn sẽ cần phải chuyển đổi chuỗi lại một danh sách (vì một danh sách là loại hình cụ thể hơn một chuỗi):

let resList = res |> List.ofSeq 

tôi không chắc chắn lý do tại sao F # thư viện không cung cấp List.take hoặc List.truncate. Tôi đoán mục tiêu là tránh thực hiện lại toàn bộ các chức năng cho tất cả các loại bộ sưu tập, vì vậy những nơi thực hiện chuỗi là đủ tốt khi làm việc với một loại bộ sưu tập cụ thể hơn chỉ có trong mô-đun Seq (nhưng đó chỉ là phỏng đoán của tôi) ...)

Answer 3

Seq.take hoạt động, như những người khác đã nêu, nhưng tất cả các hoạt động Seq trên danh sách đều có tính phí. Trong trường hợp của Seq.take, nó không đáng ngạc nhiên, vì danh sách phải được sao chép.

Đáng chú ý hơn, ví dụ: Seq.concat trên danh sách mất nhiều thời gian hơn List.concat. Tôi cho rằng điều đó ngụ ý rằng bạn không chỉ truy cập vào danh sách dưới dạng seq khi bạn gọi một hàm Seq.xxx, nhưng danh sách đó được sao chép/chuyển đổi thành một Seq đằng sau hậu trường.

chỉnh sửa: Lý do tôi đi đến kết luận trên, là băng ghế dự bị này sử dụng F # tương tác:

#time "on";; 
let lists = [for i in 0..5000000 -> [i..i+1]];; 
Seq.length (Seq.concat lists);; 
List.length (List.concat lists);; 

Trên máy tính của tôi, phiên bản List.length mất khoảng 1,9 giây, trong khi phiên bản Seq.length mất khoảng 3.8 giây (thời gian ngắn nhất của một vài phép thử lặp lại các dòng chiều dài, không bao gồm dòng tạo danh sách).