Обобщения с интерфейсами в F #

Question

В C # можно утверждать, что универсальный параметр должен реализовывать определенный интерфейс следующим образом:

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

Как можно указать это в F #?

Answer 1

Общие ограничения используют «когда» в F #:

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