Làm thế nào để xác định một loại mở rộng cho T [] trong F #?

Question

Trong C#, tôi có thể xác định một phương pháp mở rộng cho một mảng chung của loại T như thế này:

nhưng đối với cuộc sống của tôi, tôi không thể tìm ra cách để làm điều tương tự trong F #! Tôi đã thử type 'a array with, type array<'a> with và type 'a[] with và trình biên dịch không hài lòng với bất kỳ trình duyệt nào trong số đó.

Có ai cho tôi biết quyền làm điều này trong F # không?

Chắc chắn, tôi có thể làm điều này bằng cách làm lu mờ mô-đun Array và thêm chức năng cho điều đó một cách dễ dàng, nhưng tôi thực sự muốn biết cách làm như một phương pháp mở rộng!

Answer 1

Bạn phải viết kiểu mảng sử dụng 'backtick dấu' - như thế này:

type 'a ``[]`` with 
    member x.GetOrDefault(n) = 
    if x.Length > n then x.[n] 
    else Unchecked.defaultof<'a> 

let arr = [|1; 2; 3|] 
arr.GetOrDefault(1) //2 
arr.GetOrDefault(4) //0 

Chỉnh sửa: Cú pháp type ``[]``<'a> with ... dường như cũng được cho phép. Trong nguồn F # (prim-types-prelude.fs), bạn có thể tìm thấy định nghĩa sau:

type ``[]``<'T> = (# "!0[]" #) 

Answer 2

Câu hỏi hay. Tôi không thể tìm ra cách để mở rộng 'T[] nhưng bạn có thể tận dụng thực tế là mảng thực hiện IList<_> làm:

type System.Collections.Generic.IList<'T> with 
    member x.GetOrDefault(n) = 
    if x.Count > n then x.[n] 
    else Unchecked.defaultof<'T> 

let arr = [|1; 2; 3|] 
arr.GetOrDefault(1) //2 
arr.GetOrDefault(4) //0