匹配不同长度和类型的元组 (ocaml)

Question

我在模式匹配不同长度和类型的元组时遇到问题。

let test = ((6, 10), (3, "1", 9), ([2; "5"], 4, 7, "8"));;
let rec extract_min_int arg =
    match arg with
    | (a, b, c) ->
        min (extract_lowest_int a) (min (extract_lowest_int b) (extract_lowest_int c))
    | (a, b) -> min (extract_lowest_int a) (extract_lowest_int b)
    | `int i -> i
    | _ -> infinity
;;
extract_min_int test;;

我希望此函数调用返回 2，但我收到以下错误：

错误：此模式匹配 'a * 'b 类型的值，但预期的模式匹配 'c * 'd * 'e 类型的值

我对 ocaml 还很陌生。这个错误完全否认了我正在尝试做的事情，即匹配不同长度/类型的元组。

我还有哪些其他选择可以完成这项任务？

Answer 1

OCaml 是一种强类型语言。每个元组大小都是不同的类型。所以你不能写出你想要的函数。

如果您想到了特定的类型元组，则可以仅使用这些类型的组合来定义变体类型。这就是你在实践中可能会做的事情。