F#使用递归与match表达式生成两个列表的所有元素组合

实现两个列表的全元素笛卡尔积生成逻辑：输入两个列表，返回两列表所有元素两两配对的组合列表。例如输入[1;2]和['a';'b']时，预期输出为[(1,'a');(1,'b');(2,'a');(2,'b')]。要求使用递归结合match模式匹配的方式实现，当前已完成的基础代码框架如下：

let rec combo (a1: 'a list) (a2: 'b list) =
    match a1,a2 with
    | [],[] -> []

补全模式匹配分支后的可运行代码如下：

let rec combo (a1: 'a list) (a2: 'b list) =
    match a1, a2 with
    // 第一个列表遍历完成时，无更多元素可配对，直接返回空列表（覆盖双空边界场景）
    | [], _ -> []
    // 拆分第一个列表为头元素+剩余尾部
    | h1::t1, fullList2 ->
        // 当前头元素和第二个列表所有元素配对
        let currentHeadPairs = List.map (fun item2 -> (h1, item2)) fullList2
        // 递归处理第一个列表的剩余部分
        let tailPairs = combo t1 fullList2
        // 拼接两部分结果返回
        currentHeadPairs @ tailPairs

• 原代码仅写了双空列表的分支，覆盖场景不全。实际上只要第一个列表为空，无论第二个列表内容是什么，都不存在有效配对，直接返回空列表即可，这一个分支就覆盖了所有第一个列表耗尽的边界情况，包括双空、第二个列表非空但第一个列表为空的场景。
• 当第一个列表非空时，拆出当前头元素，先完成头元素和第二个列表所有元素的配对，再递归处理第一个列表的剩余尾部，最后把两部分结果拼接，就能得到所有组合。
• 该实现天然兼容第二个列表为空的场景：如果第二个列表为空，List.map生成的头元素配对列表为空，递归返回的结果也为空，最终输出空列表，符合笛卡尔积的逻辑定义。

运行示例输入验证结果：

combo [1;2] ['a';'b']
// 执行输出：[(1, 'a'); (1, 'b'); (2, 'a'); (2, 'b')]，和预期结果一致

内容的提问来源于stack exchange，提问作者kelperg1