syntax - 如何在 'let' 定义中使用模式匹配？

Question

我刚刚注意到 F# 允许我将 let 绑定(bind)与文字和其他模式一起使用，如下所示:

let fib 0 = 1
let exists item [] = false
let car (hd :: tl) = hd
let cdr (hd :: tl) = tl

F# 正确地将这些函数解释为一种模式匹配，因为给了我以下警告:

Warning 1 Incomplete pattern matches on this expression. For example, the value '1' will not be matched

Warning 2 Incomplete pattern matches on this expression. For example, the value '[_]' will not be matched

etc.

这些函数按预期工作，但我想以这种样式定义一个具有完整模式匹配的函数，但是我在 F# 手册中找不到关于这种替代模式匹配语法的任何信息。

我知道我可以使用 let whatever = function ...和 let whatever x = match x with ...得到我想要的结果，但我刚刚发现了另一种模式匹配语法，如果我不知道如何使用它，它会永远困扰着我。

如何使用上面显示的替代模式匹配语法编写函数？

Answer 1

AFAIK，在 F# 中无法声明具有相同名称和不同模式匹配签名的多个 let 绑定(bind)。我相信与您正在寻找的最接近的构造是函数规则表达式。

以汽车为例

let car = function
    | hd::tl -> hd
    | [] -> failwith "empty list"