Поддерживает ли F # шаблоны поддержки или Generics?

Question

Я хочу реализовать структуру данных кучи и хочу применить код к любому типу, который поддерживает сравнение, то есть < => < => = операции.

Как это сделать в F #, поскольку оно статически типизировано.

Answer 1

Это делает, но вы должны аннотировать следующим образом:

type Thing<'a when 'a:comparison> = 
    | Pair of ('a*'a) 
    with 
     member m.InOrder() = 
     match m with 
     | Pair (a,b) when a<=b -> true 
     | _ -> false 
     member m.Equal() = 
     match m with 
     | Pair (a,b) when a=b -> true 
     | _ -> false 

Pair(1,2).InOrder() //true 
Pair(3,2).InOrder() //false 
Pair(42,42).Equal() //true 

Попробуйте заменить Thing<'a when 'a:comparison> на Thing<'a when 'a:equality> смотреть метод InOrder() неудачу, в то время как Equal() все еще работает. Замените Thing<'a when 'a:comparison> на Thing<'a>, и оба метода не будут работать.

Answer 2

Да, он поддерживает дженерики - посмотрите на this в качестве примера.

Answer 3

Более подробную информацию о конкретных случаях равенства и сравнения ограничений см

http://lorgonblog.spaces.live.com/blog/cns!701679AD17B6D310!1621.entry

и

http://blogs.msdn.com/dsyme/archive/2009/11/08/equality-and-comparison-constraints-in-f-1-9-7.aspx