OCAML中另一个元组内的元组

Question

我的问题在标题中，这是一个例子：

(int * string * string * int * (string * string * int) list)

我能做那样的事吗？我试过但它没有用，我想知道是否有办法做到这一点......

Answer 1

简单地说：

type t = int * string * string * int * (string * string * int) list;;

Answer 2

Pierre G.解释了如何定义类型。如果您想知道如何创建这样的元组，可以在不先定义类型的情况下完成。只需构建一个包含所需数据的元组。例如：

(1, "two", "three", 4, [("five", "six", 7); ("eight", "nine", 10)]);;

返回

int * string * string * int * (string * string * int) list =
(1, "two", "three", 4, [("five", "six", 7); ("eight", "nine", 10)])