ocaml - OCaml 中的参数化类型

Question

找了半天也没找到解决办法。这可能是一个我无法弄清楚的简单语法问题。

我有一个类型:

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

我想创建一个类型为 string string sum 的变量。

# let (x:string string mytype) = ("v", "m");;
Error: The type constructor mytype expects 2 argument(s),
   but is here applied to 1 argument(s)

我尝试了用不同的方式在类型参数周围加上括号，但我得到了几乎相同的错误。

但是，它适用于单个参数类型，所以我猜有些语法我不知道。

# type 'a mytype2 = string * 'a;;
# let (x:string mytype2) = ("hola", "hello");;
val x : string mytype2 = ("hola", "hello")

谁能告诉我如何用两个参数做到这一点？

Answer 1

你应该写

let (x: (string, string) mytype) = ("v", "m");;

也就是mytype参数是一对。您甚至可以删除不需要的括号:

let x: (string, string) mytype = "v", "m";;