ocaml 类型字符串列表 -> ( string * string * string) list 是什么意思

Question

谁能给我解释一下类型

string list -> ( string * string * string) list 

特别是 return 类型因为我不太明白

Answer 1

• ->表示函数类型从一种类型到另一种类型。
• string list是字符串列表的类型。
• string * string * string是三个字符串元组的类型。
• (string * string * string) list 是那些元组列表的类型。

因此 string list -> ( string * string * string) list 是一种函数类型，它从一个字符串列表映射到一个包含三个字符串的元组列表。