F＃类型定义语法

Question

我正在研究F＃的'99问题'，并看到了NestedList的以下定义：

type 'a NestedList = List of 'a NestedList list | Elem of 'a

我被这里的语法有点困惑，因为通常只有在后一类型名称type 。 有人可以澄清一下吗？ 谢谢！

Answer 1

这是一种浓缩语法中的歧视联合 。 你也可以把它写成：

type 'a NestedList =
    | List of 'a NestedList list
    | Elem of 'a

要么

type NestedList<'a> =
    | List of NestedList<'a> list
    | Elem of 'a

这是使用泛型，其中类型本身将另一种类型作为参数。

Answer 2

F＃有两种指定泛型类型的方法：

• C＃/。NET样式 - SomeType<'a, 'b>
• OCaml / ML样式 - ('a * 'b) SomeType

这些实际上是两种说法相同的方式，可以互换使用。 使用哪一个是优先级和代码标准的问题。 通常人们将OCaml样式用于基本F＃类型，如list，array或option，以及用户定义和BCL样式的C＃样式。

Answer 3

所以这是通用类型'a通用判别联合的定义。

关键的想法是每个元素都有'a类型。