带有F#接口的泛型

Question

在C#中,可以声明泛型参数必须实现某个接口,如下所示:

public class Something<T> where T : IComparable
{
    ...
}

如何在F#中指定它？

Answer 1

通用约束在F#中使用"when":

type Foo<'a when 'a :> IComparable> = 
  member x.Bla = 0