模式匹配中的部分解构 (F#)

Question

跟随一个观察的最小例子（这让我很惊讶）：

type Vector = V of float*float

// complete unfolding of type is OK
let projX (V (a,_)) = a

// also works
let projX' x =
   match x with
   | V (a, _) -> a

// BUT:
// partial unfolding is not Ok 
let projX'' (V x) = fst x

// consequently also doesn't work 
let projX''' x =
   match x with
   | V y -> fst y

导致无法匹配部分解构类型的原因是什么？

一些部分解构似乎还可以：

// Works
let f (x,y) = fst y

编辑： 好的，我现在了解所描述行为的“技术”原因（感谢您的回答和 cmets）。但是，我认为语言方面，与其他语言相比，这种行为感觉有点“不自然”：

“代数”，对我来说，区分类型“t”和类型“(t)”似乎很奇怪。括号（在这种情况下）用于给出优先级，例如在“（t * s）* r”与“t *（s * r）”中。 fsi 也会相应地回答，我是否发送

type Vector = (int * int)

或

type Vector = int * int

对于 fsi，答案总是

类型向量 = int * int

鉴于这些观察，可以得出结论，“int * int”和“(int * int)”表示完全相同的类型，因此在任何一段代码中出现的所有一个都可以用另一个替换（参考透明度)...正如我们所见，这是不正确的。

更重要的是，为了解释手头的行为，我们不得不诉诸“一些代码在编译后的样子”而不是语言的语义属性，因为 imo 表明存在一些“紧张” " 在语言语义和编译器实际执行的操作之间。

Answer 1

在 F# 中

type Vector = V of float*float

只是一个退化的联合（你可以通过在Visual Studio中悬停它来看到），所以它相当于：

type Vector = 
    | V of float*float

of 之后的部分创建两个 anonymous fields（如 F# 参考中所述）和一个接受两个浮点类型参数的构造函数。

如果你定义

type Vector2 = 
    | V2 of (float*float)

只有一个匿名字段是一个浮点元组和一个带有单个参数的构造函数。正如评论中指出的那样，您可以使用Vector2 进行所需的模式匹配。

毕竟，下面的代码似乎不合逻辑：

let argsTuple = (1., 1.)
let v1 = V argsTuple

但是，如果您考虑到存在隐藏的模式匹配，那么一切都应该清楚了。

编辑：

F# language spec (p 122) 明确指出括号在联合定义中很重要：

括号在联合定义中很重要。因此，以下两个定义不同：

type CType = C of int * int

type CType = C of (int * int)

第一个例子中没有括号表示联合情况有两个参数。括号 在第二个示例中表明联合情况采用一个参数，该参数是一等元组值。

我认为这种行为与您可以在联合定义中定义更复杂的模式这一事实一致，例如：

    type Move = 
        | M of (int * int) * (int * int)

能够将联合与多个参数一起使用也很有意义，尤其是在互操作情况下，使用元组很麻烦。

你使用的其他东西：

type Vector = int * int

是一个type abbreviation，它只是为某种类型命名。在int * int 周围放置括号并没有什么不同，因为这些括号将被视为分组括号。