使用cons运算符了解模式匹配

除了布莱恩的回答之外,还有几点值得注意。这个 h::t 语法可以同时用作运算符 和 作为一种模式:

let l = 1::2::[]                    // As an operator
match l with x::xs -> 1 | [] -> 0   // As a pattern

这意味着它有点特殊,因为其他运算符(例如 + )不能用作模式(用于将结果分解回运算符的参数)-显然,用于 + ,这将是模棱两可的。

另外,模式 [_] 很有趣,因为它是嵌套模式的一个例子。它构成:

• _ -下划线模式,匹配任何值且不绑定任何符号
• [ <pattern> ] -单元素列表模式,它将列表与单个元素匹配,并将列表的元素与嵌套的 <pattern> .

你也可以写 match 1::[] with | [x] -> x 它将返回单个元素的值(在本例中是1)。

它是列表的特殊语法。你可以想到 list 作为歧视工会类型:

type list<'T> =         // '
    | Nil
    | Cons of 'T * list<'T>

除了有特殊的语法 Nil 是 [] 和 Cons(h,t) 是 h::t . 那么它只是一个有区别的联合体上的正常模式匹配。这有帮助吗?

(也可能参见 this blog entry )

它用作格式化程序或正式 pattern ,`list'与三种模式匹配:

[]表示列表为空

[u]表示列表有一个元素,因为您不关心元素是什么,所以只需将其放在那里,就可以使用[a]。

head::tail表示列表有两部分:head和tail。

您可以将F模式匹配视为一个强大的if-then-else结构。