¿Cómo se define una extensión de tipo para T [] en F #?

Question

En C#, puedo definir un método de extensión para una matriz genérica de tipo T como esto:

pero para la vida de mí no puedo encontrar la manera de hacer lo mismo en F #! Intenté type 'a array with, type array<'a> with y type 'a[] with y el compilador no estaba contento con ninguno de ellos.

¿Alguien puede decirme qué es lo correcto para hacer esto en F #?

Claro, puedo hacerlo eclipsando el módulo Array y agregando una función para eso con bastante facilidad, ¡pero realmente quiero saber cómo hacerlo como método de extensión!

Answer 1

Tienes que escribir el tipo de matriz usando '' marcas de acento grave - como esto:

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 

Editar: La sintaxis type ``[]``<'a> with ... parece estar permitida también. En la fuente F # (prim-types-prelude.fs) puede encontrar la siguiente definición:

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

Answer 2

Buena pregunta. No puedo encontrar la manera de extender 'T[] pero se puede aprovechar el hecho de que las matrices aplicar IList<_> hacer:

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