如何模式匹配可变长度的元组

Question

我有一些像这样的实用函数，它们返回不同长度的元组：

let get1And2Of4(v1, v2, v3, v4) = v1, v2
let get1And2And3Of4(v1, v2, v3, v4) = v1, v2, v3

我希望能够对变量进行模式匹配并返回适当的实用函数。

例如，

let bar = 
     match foo with
     | "A" -> get1And2Of4
     | "B" -> get1And2And3Of4

但是，编译器会抱怨，因为元组的长度不同。阅读Variable length tuples in f# 和Elegant pattern matching on nested tuples of arbitrary length 说明这是不可能的。

鉴于我需要使用元组而不是列表，是否还有其他选择可以实现这一点？

Answer 1

我能想象的唯一可行的、类型安全的方法是明确地拼写出来，并将函数作为单个案例包装在一个有区别的联合中。这显然很尴尬；从好的方面来说，它可以帮助您跟踪所涉及的各种类型参数，因为最终所有代码路径都需要返回相同的类型。

type WhateverYouFeelNamingTheDU<'a,'b,'c,'d> =
| Get1And2Of4 of ('a * 'b * 'c * 'd -> 'a * 'b)
| Get1And2And3Of4 of ('a * 'b * 'c * 'd -> 'a * 'b * 'c)
let get1And2Of4 = Get1And2Of4(fun (v1, v2, _, _) -> v1, v2)
let get1And2And3Of4 = Get1And2And3Of4(fun (v1, v2, v3, _) -> v1, v2, v3)

match "foo" with
| "A" -> get1And2Of4
| _ -> get1And2And3Of4
|> function
| Get1And2Of4 f42 -> f42 (1,2,"a","b") |> string
| Get1And2And3Of4 f43 -> f43 (3,4,"c","d") |> string
// val it : string = "(3, 4, c)"