sml - 如何在 ML 中拥有不止一种类型？

Question

在 ML 中是否可以允许 ML 中的变量具有不止一种类型？

例如，如果我希望树中的节点仅为 int 或 string。

Node of int * string

我试过了，但它只是产生了一个 (int, string) 类型的元组。我不希望它是一个元组，只是一个 int 或一个字符串。这是允许的吗？

Answer 1

正如评论中所指出的，您正在寻找的功能是联合类型。我相信它们在 SML 中的语法是:

datatype Node = IntNode of int
              | StringNode of string