гетерогенные множества в OCaml

Question

Предположим, у меня есть тип, определенный в качестве

type value = 
     None 
    | Int of int 
    | Float of float 
    | Complex of Complex.t 
    | String of string 
    | Char of char 
    | Bool of bool 

, и я хочу, чтобы иметь возможность работать с Sets этих значений. Из того, что я понял, я должен использовать функтор для конкретизации модуля Set с конкретным типом и связанным с ним упорядочением.

Как это сделать в этом примере? Так как value не может использоваться непосредственно внутри функтора Set.Make?

Тогда, конечно, мне нужно уметь полностью упорядочить эти значения, поэтому я должен придумать что-то вроде предоставления предопределенного порядка различным типам, а затем упорядочить их по их эффективному значению .. Я прав?

Так, например, я могу принять решение Int of int < Float of int и Int x < Int y, если x < y. Является ли это практическим подходом к тому, чего я пытаюсь достичь?

Answer 1

Set.Make функтор переводит модуль с подписью Set.OrderedType:

module type OrderedType = sig type t val compare : t -> t -> int end 

Для сравнения можно использовать Pervasives.compare, если у вас нет каких-либо требований о порядке и результатах возвращенного min_eltmax_elt /. Таким образом, параметр для функтора может быть таким же простым, как:

module T = struct type t = value let compare = compare end