F# F中单例判别并的简明模式匹配#

假设我有以下单一案例歧视工会：

type OrderId=字符串的OrderId

在某个时刻，我需要实际的字符串。我发现提取它的方法是：

let id=将orderId与orderId x->x匹配

有没有更简洁的方法

我知道我的使用是一种特殊情况，为了确保你涵盖了各种可能性，比赛是有意义的，只是想知道是否有一种方法可以做到：

让OrderId=OrderId

你就快到了。为了让编译器将let绑定解释为模式匹配，需要使用括号：

let (OrderId id) = orderId

如果

orderId

是函数的一个参数，您也可以直接在那里使用模式匹配：

let extractId (OrderId id) = id

---

当您使用区分并集来保存单个值（这是一种有用的F#编程技术）时，使用访问该值的属性来定义它可能是有意义的：

type OrderId = 
  | OrderId of string 
  member x.Value = let (OrderId v) = x in v

Value

的实现是使用pad发布的使用

let

的模式匹配。现在，如果您有一个类型为

orderId

的值

orderId

，您只需编写：

let id = orderId.Value

---

但是，使用

（OrderId id）

的模式匹配仍然非常有用，因为只有当编译器已经知道

OrderId

的类型时，属性访问才会起作用（因此通常在函数参数中使用模式匹配，但对其他值使用属性访问）。

不幸的是，您失去了类型推断，要求您经常指定类型，这可能会导致更加冗长。我个人更喜欢像

get

或

lift

这样的模块方法，它不会有那个问题，并且允许管道、合成和更无圆点的风格（尽管在许多场景中这也是一种有用的方法）