如何在F#中为T []定义类型扩展？

Question

在C#中,我可以为类型为T的泛型数组定义一个扩展方法,如下所示:

public static T GetOrDefault<T>(this T[] arr, int n)
{
    if (arr.Length > n)
    {
        return arr[n];
    }

    return default(T);
}

但对于我的生活,我无法弄清楚如何在F#中做同样的事情!我试过了type 'a array with,type array<'a> with并且type 'a[] with编译器对它们中的任何一个都不满意.

任何人都可以告诉我在F#中做到这一点的权利是什么？

当然,我可以通过掩盖阵列模块并为此轻松添加功能来实现这一点,但我真的想知道如何将其作为扩展方法!

Answer 1

你必须使用'反引号'来编写数组类型 - 像这样:

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

编辑:type ``[]``<'a> with ...似乎也允许语法.在F#source(prim-types-prelude.fs)中,您可以找到以下定义:

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

Answer 2

好问题.我无法弄清楚如何扩展,'T[]但你可以利用数组实现的事实IList<_>:

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