有没有一种方法可以检查 F# 中一个模式中的嵌套选项值？

Question

假设我们有以下类型：

type Message {
    text : Option<string>
}

type Update {
    msg : Option<Message> 
}

如何在一行中匹配它，就像在 C# 中使用 null 条件运算符 ie 一样update?.msg?.text？

有没有办法做到这一点？：

match msg, msg.text with 
| Some msg, Some txt -> ...
| None -> ...

因为我不想编写 2 个嵌套的匹配表达式。

Answer 1

您有两种记录类型（示例中缺少“=”）。要匹配某些 Update 类型的变量，您可以执行以下操作：

type Message = { text : Option<string> }

type Update = { msg : Option<Message> }

let u = {msg = Some({text = Some "text"})}

//all 3 possible cases
match u with
| {msg = Some({text = Some t})} -> t
| {msg = Some({text = None})} -> ""
| {msg = None} -> ""