ocaml - 创建一个以 Hashtbl 作为属性的个人类型

Question

我正在尝试创建这样的类型：

type variable {
  id: string;
  tipe: int
}

type dec {
   variables: variable list;
   parent: dec option
}

在我的程序执行期间，我需要一个 dec 列表并将变量添加到运行时，但是对于该列表，我不能这样做，因为它是一个不可变的数据结构。

我正在尝试更改实现并使用哈希映射来存储变量，例如，我需要将变量存储为带有（键：字符串和值：int）的哈希表，但我不知道如何实现哈希在类型声明中使用 OCaml 映射。

标签： ocaml

Answer 1

这是一种记录类型，其中类型的每个值都包含一个哈希表。哈希表从字符串映射到整数：

type dec = {
    variables: (string, int) Hashtbl.t;
    parent: dec option;
}

还有许多其他方法可以设置它。特别是，这使用了通用（多态）哈希表接口。如果您想更好地控制行为，您可以使用函数接口（它允许您指定自己的比较和散列函数）。