f# - F# 中的泛型和接口(interface)

Question

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

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

如何在 F# 中指定这一点？

Answer 1

通用约束在 F# 中使用“when”:

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