DU 的点表示法防止嵌套

Question

使用这两个有区别的工会 (DU)：

type Premier = |M1 of int
type Second = |M2 of Premier

我可以拥有这些有效的代码行：

let p_1 = M1 42
let p_2 = 42 |> M1 
let p_3 = Premier.M1 42

let s_1 = M2 (M1 42)
let s_2 = 42 |> M1 |> M2

但不接受以下嵌套 dot 语法（与类语法的重要区别）：

let s_3 = Second.M2.M1 42

问题：根本原因是什么？我的意思是与 F# 语法/语法的其他部分是否存在冲突或不一致会阻止它？还是会导致类型推断困难？

跟进：我仍然有 2 种方法（s_1 和 s_2）来定义我的 Second 类型变量，但是对于 DU，是否有更惯用和简洁的第三种方法？

Answer 1

我不明白为什么这应该有效。这两种工作方式是创建包含另一个值的可区分联合的标准方式。从 F# 的角度来看，您尝试的第三个选项没有意义。再解释一下：

• M1 42 是 Premier 类型的值
• M2 是一个构造函数，它接受 Premier 并返回 Second
• M2 (M1 42) 使用参数调用构造函数 - 所以你得到 Second

使用管道，事情完全一样

• 42 |> M1 将 int 传递给构造函数 M1 产生 Premier 值
• 42 |> M1 |> M2 表示(42 |> M1) |> M2 - 也就是说，它将Premier 值传递给M2 构造函数，然后你得到`Second。

至于您尝试写Second.M2.M1 42，这是无效的，因为：

• Second.M2 是一个构造函数（一个函数），它期望 Premier 并返回 Second。
• 函数没有任何成员 - 因此您可以对构造函数执行 .。