OCaml: установить модули

Question

Я хочу использовать OCaml для генерации наборов данных и сравнения между ними. Я видел документацию для типов модулей, таких как Set.OrderType, Set.Makeи т. д., но я не могу понять, как инициализировать набор или иным образом использовать их.

Answer 1

Наборы определяются с помощью функторного интерфейса. Для любого данного типа, вы должны создать Set модуль для этого типа, используя Set.Make функтор. К сожалению, упущение стандартных библиотек заключается в том, что они не определяют Set экземпляры для встроенных типов. В большинстве простых случаев достаточно использовать Pervasives.compare, Вот определение, которое работает для int:

module IntSet = Set.Make( 
  struct
    let compare = Pervasives.compare
    type t = int
  end )

Модуль IntSet будет осуществлять Set.S интерфейс. Теперь вы можете работать на множествах, используя IntSet модуль:

let s = IntSet.empty ;;
let t = IntSet.add 1 s ;;
let u = IntSet.add 2 s ;;
let tu = IntSet.union t u ;;

Обратите внимание, что вам не нужно явно определять структуру ввода для Set.Make как OrderedType; вывод типа сделает всю работу за вас. В качестве альтернативы вы можете использовать следующее определение:

module IntOrder : Set.OrderedType = struct
  type t = int
  let compare = Pervasives.compare
end

module IntSet = Set.Make( IntOrder )

Это имеет то преимущество, что вы можете повторно использовать один и тот же модуль для создания экземпляра Map:

module IntMap = Map.Make( IntOrder )

Вы теряете некоторую универсальность в использовании функторов, потому что тип элементов фиксирован. Например, вы не сможете определить функцию, которая принимает Set некоторого произвольного типа и выполняет некоторую операцию над ним. (К счастью, Set сам модуль объявляет много полезных операций над Setс.)

Answer 2

В дополнение к ответу Криса, может быть полезно сказать, что некоторые стандартные библиотечные модули уже придерживаются OrderedType подпись. Например, вы можете просто сделать:

module StringSet = Set.Make(String) ;;       (* sets of strings *)
module Int64Set = Set.Make(Int64) ;;         (* sets of int64s *)
module StringSetSet = Set.Make(StringSet) ;; (* sets of sets of strings *)

И так далее.

Вот простой пример использования StringSet; помните, что наборы являются функциональными структурами данных, поэтому добавление нового элемента в набор возвращает новый набор:

let set = List.fold_right StringSet.add ["foo";"bar";"baz"] StringSet.empty ;;
StringSet.mem "bar" set ;; (* returns true *)
StringSet.mem "zzz" set ;; (* returns false *)