Как создать тип с несколькими параметрами в OCaml?

Question

Я пытаюсь создать тип с несколькими параметрами типа. Я знаю, как сделать тип с одним параметром:

type 'a foo = 'a * int 

Но мне нужно иметь два параметра, так что я могу параметризировать ВНУТР часть. Как я могу это сделать?

Answer 1

Способ сделать это:

type ('a, 'b) foo = 'a * 'b 

Параметры типа не кэрри, так что вы должны предоставить их в виде кортежа, как единственный параметр. Хорошим примером этого является модуль Hashtbl:

type ('a, 'b) t 

тип хэш-таблицы от типа «а к типу» б.

Answer 2

# type ('a, 'b) couple = 'a * 'b ;;

Например ...