好问题！我认为许多开始使用 F# 的人都在努力解决列表、选项和元组的交互方式。让我首先说：编译器是正确的。简短的回答是：您只匹配单例列表。让我试着更深入地解释一下。
本质上，您的类型是('a * 'b) list option。在您的情况下，'a 和 'b 本身就是使用字符串区分的单一案例。让我们稍微简化一下，看看如果我们孤立地查看您的类型的每个部分会发生什么（您可能已经知道这一点，但将其放在上下文中可能会有所帮助）：
-
首先，您的类型是选项。这有两个值，None 或 Some 'a。要匹配一个选项，您可以执行类似
的操作
match o with
| Some value -> value
| None -> failwith "nothing"`
-
接下来，您的类型是一个列表。列表中的项目用分号; 分隔。一个空列表是[]，一个单例列表（一个包含一个项目）是[x]，多个项目是[x;y...]。要将某些内容添加到列表的开头，请使用 ::。列表是一种特殊类型的可区分联合，匹配它们的语法模仿了列表构造的语法：
match myList with
| [] -> "empty"
| [x] -> printfn "one item: %A" x
| [x; y] -> printfn "two items: %A, %A" x y
| x::rest -> printfn "more items, first one: %A" x
第三，您的列表类型本身就是一个元组类型。要解构或匹配元组类型，您可以使用逗号 ,，与 match (x, y) with 1, 2 -> "it's 1 and 2!" ... 一样。
结合所有这些，我们必须匹配一个选项（外部）然后列表（中间）然后是元组。 Some [] 表示空列表，None 表示没有列表，Some [a, b] 表示单例列表，Some (a,b)::rest 表示包含一个或多个项目的列表。
现在我们已经了解了理论，让我们看看我们是否可以处理您的代码。首先让我们看一下警告信息：
此表达式的模式匹配不完整。 Some ([_;_]) 可能表示一个案例...
这是正确的，您的代码中的项目由表示元组的, 分隔，并且消息显示Some [something; something]（下划线表示“任何东西”），这是两个项目的列表。但是添加它对您没有多大帮助，因为列表仍然可能比 2 长。
骑手说这条规则永远不会匹配
Rider 是正确的（它调用了下面的 FSC 编译器服务）。该行上方的规则是Some [(x:A,y:B)]（此处不需要:A 和:B），它匹配任何带有元组的Some 单例数组。 Some [_,_] 的作用相同，只是它不捕获变量中的值。
这消除了警告，但前两个没有涵盖的情况是什么？
它删除了警告，因为Some _ 意味着Some 带有任何东西，因为_ 意味着：它是任何东西的占位符。在这种情况下，它匹配空列表、2 项列表、3 项列表和 n 项列表（在该示例中，您唯一匹配的是 1 项列表）。
你能举个例子来说明一个可以被接受为有效参数的输入吗
是的。您不匹配的有效输入是Some []（空列表）、Some [A "a", B "x"; A "2", B "2"]（两个项目的列表）等。
让我们举第一个例子。你有这个：
let matchProblem = function
|Some [(x:A,y:B)] -> [] // matching a singleton list
|Some ([_,_]) -> [] // matches a singleton list (will never match, see before)
|None -> [] // matches None
这是您（可能）需要的：
let notAProblemAnymore = function
// first match all the 'Some' matches:
| Some [] -> "empty" // an empty list
| Some [x,y] -> "singleton" // a list with one item that is a tuple
| Some [_,a;_,b] -> "2-item list" // a list with two tuples, ignoring the first half of each tuple
| Some ((x,y)::rest) -> "multi-item list"
// a list with at least one item, and 'rest' as the
// remaining list, which can be empty (but won't,
// here it has at least three items because of the previous matches)
| None -> "Not a list at all" // matching 'None' for absence of a list
总结一下：您正在匹配一个只有一个项目的列表，编译器抱怨您错过了其他长度的列表（空列表和具有多个项目的列表）。
通常没有必要将option 与列表一起使用，因为空列表已经意味着没有数据。因此，每当您发现自己编写 option list 类型时，请考虑是否仅使用 list 就足够了。这将使匹配更容易。