Ocaml 中带有参数的类型数组

Question

我在 Ocaml 中有一个作业要做...

我的老师说我们必须使用这两种类型：

type 'a zapis = Prazen | Zapis of string * 'a;;
type 'a asocpolje = 'a zapis array;;

我的问题是当我创建一个数组时：

# let a = Array.make 5 Prazen;;
val a : '_a zapis array = [|Prazen; Prazen; Prazen; Prazen; Prazen|]

我不知道可以在这个数组中插入什么值...

a.(0)<-???

可以有人告诉我哪个值可以插入到这个数组中？

Answer 1

在向数组添加任何内容之前，类型尚未完全定义。这反映在数组指示的类型中：

val a : '_a zapis array = [|Prazen;普拉赞；普拉赞；普拉赞； Prazen|]

如果你仔细观察，你会发现你作为类型参数给出的 'a 已经变成了 '_a （注意 _< /代码>）。这种类型的意思是“某种类型，但我还不知道是哪一种”。与 'a 相反，'a 表示任何类型。

这意味着此时您可以插入任何类型的 Zapi。执行此操作后，您只能插入该特殊类型的 Zapi（在其​​他类型中，'_a 会消失并替换为正确的类型）。

因此，如果您这样做，

a.(0) <- Zapis ("z", 10)

a 将成为 int zapis 数组，并且从那时起只接受整数。

如果你这样做，

a.(0) <- Zapis ("z","z") 

它将成为一个字符串 zapis 数组，之后只接受字符串。

Answer 2

你能告诉我如何创建数组类型asocpolje吗？

'a asocpolje 和 'a zapis array 是相同类型。根据打字机推断定义的准确程度，您将得到其中之一，但它们是完全相同的。 'a asocpolje 只是'a zapis array 的别名，而不是新类型。

您可以通过使用显式类型注释来帮助 OCaml 打印正确的类型信息：

let t : 'a asocpolje = Array.make ...

但是我不鼓励这种做法。它以不明显的方式表现（例如，这里 'a 的含义可能令人惊讶，它不强制执行多态性），并且您确实试图在没有的地方做出改变（类型相同）。如果您确实想要区分这两种类型，则应该将'a asocpolje定义为新的代数类型（只有一种情况）：

type 'a zapis = Prazen | Zapis of string * 'a;;
type 'a asocpolje = Asocpolje of 'a zapis array;;

let t = Asocpolje (Array.make ...)
let get (Asocpolje t) n = t.(n)