Bắt mọi phần tử thứ n của một chuỗi

Question

Tôi đang tìm cách tạo chuỗi bao gồm mọi phần tử thứ n của một chuỗi khác, nhưng dường như không tìm cách làm điều đó một cách thanh lịch. Dĩ nhiên tôi có thể hack một thứ gì đó, nhưng tôi tự hỏi liệu có một chức năng thư viện mà tôi không nhìn thấy hay không.

Các hàm chuỗi có tên kết thúc bằng -i có vẻ khá tốt cho mục đích tìm ra khi phần tử là phần thứ n hoặc (bội số của n), nhưng tôi chỉ có thể thấy iteri và mapi, không có trong đó thực sự tự vay cho nhiệm vụ.

Ví dụ:

let someseq = [1;2;3;4;5;6] 
let partial = Seq.magicfunction 3 someseq 

Sau đó partial nên [3;6]. Có điều gì giống như nó ra khỏi đó?

Edit:

Nếu tôi không phải là khá tham vọng và cho phép n là không đổi/nổi tiếng, sau đó tôi vừa phát hiện ra rằng sau nên làm việc:

let rec thirds lst = 
    match lst with 
    | _::_::x::t -> x::thirds t // corrected after Tomas' comment 
    | _ -> [] 

Would có cách nào để viết ngắn hơn không?

Answer 1

Bạn có thể nhận hành vi bằng cách sáng tác mapi với các chức năng khác:

let everyNth n seq = 
    seq |> Seq.mapi (fun i el -> el, i)    // Add index to element 
     |> Seq.filter (fun (el, i) -> i % n = n - 1) // Take every nth element 
     |> Seq.map fst        // Drop index from the result 

Giải pháp sử dụng tùy chọn và choose theo đề nghị của Annon sẽ sử dụng chỉ có hai chức năng, nhưng cơ thể của người đầu tiên sẽ hơi hơn phức tạp (nhưng nguyên tắc cơ bản là giống nhau).

Một phiên bản hiệu quả hơn bằng cách sử dụng đối tượng IEnumerator trực tiếp không phải là quá khó khăn để viết:

let everyNth n (input:seq<_>) = 
    seq { use en = input.GetEnumerator() 
     // Call MoveNext at most 'n' times (or return false earlier) 
     let rec nextN n = 
      if n = 0 then true 
      else en.MoveNext() && (nextN (n - 1)) 
     // While we can move n elements forward... 
     while nextN n do 
      // Retrun each nth element 
      yield en.Current } 

EDIT: Đoạn cũng có sẵn ở đây: http://fssnip.net/1R

Answer 2

Seq.choose công trình độc đáo trong những tình huống này bởi vì nó cho phép bạn thực hiện tác vụ filter trong lambda mapi.

let everyNth n elements = 
    elements 
    |> Seq.mapi (fun i e -> if i % n = n - 1 then Some(e) else None) 
    |> Seq.choose id 

Tương tự như here.