Jak zdefiniować rozszerzenie typu dla T [] w F #?

Question

W języku C#, można zdefiniować metodę rozszerzenia dla rodzajowego tablicy typu T tak:

ale dla życia mnie nie mogę dowiedzieć się, jak zrobić to samo w F #! Próbowałem type 'a array with, type array<'a> with i type 'a[] with i kompilator nie był zadowolony z żadnego z nich.

Czy ktoś może mi powiedzieć, jakie jest prawo do tego w F #?

Jasne, mogę to zrobić, przesłoniwszy moduł Array i dodając do tego funkcję wystarczająco łatwo, ale naprawdę chcę wiedzieć, jak to zrobić jako metodę rozszerzenia!

Answer 1

Trzeba napisać typ tablicy za pomocą „grawis znaki” - tak:

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 

Edytuj: Wydaje się, że dozwolona jest również składnia type ``[]``<'a> with .... W źródle F # (prim-types-prelude.fs) można znaleźć następującą definicję:

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

Answer 2

Dobre pytanie. Nie mogę dowiedzieć się, jak rozszerzyć 'T[] ale można skorzystać z faktu, że tablice wdrożyć IList<_> zrobić:

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