Generics avec des interfaces en F #

Question

En C# on peut dire qu'un paramètre générique doit mettre en œuvre une certaine interface comme ceci:

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

Comment peut-on préciser dans F #?

Answer 1

contraintes génériques utilisent "quand" en F #:

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