多态类型:如何？

Question

我正在阅读关于Caml中的类型的维基，我必须承认，我很难理解多态类型是如何在语法上处理的，所以一般来说，如何定义多态类型？

Answer 1

多态在OCaml中出现在许多地方。在这个wiki上讨论的多态类型只是参数化类型。在某种意义上，它们是类型级函数.若要定义单参数类型，请执行以下操作：

type 'a <name> = <definition using 'a>

例如

type 'a tagged = { value: 'a; tag: int }

在<definition>部分中，您使用类型名称('a)作为形式参数，代表稍后提供的任何具体类型。

声明类型(将value和tag声明为记录字段)之后，可以创建类型的值：

# { value = "abc"; tag = 4 };;
- : string tagged = {value = "abc"; tag = 4}

编译器推断此值的类型为string tagged，因为value字段具有string类型。

使用括号来定义多个参数类型以将类型参数括起来：

type ('a, 'b) name = <definition using 'a and 'b>

例如：

type ('a, 'b) paired = { first: 'a; second: 'b }

这定义了字段名first和second，然后您可以使用它们来创建值：

# { first = 1.5; second = [3] };;
- : (float, int list) paired = {first = 1.5; second = [3]}

总之，生成多态(参数化)类型的语法与生成类型的语法相同，类型参数使用'a这样的符号进行扩展。