List 在压缩两个列表之前，如何从包含两个列表的元组中提取两个列表？（使用OCaml）

如果我有一个包含两个相同长度整数列表的元组的输入，并且我希望我的输出是这两个压缩列表的列表，那么如何首先从元组中提取这两个列表？例如，如果我的输入是TwoList=（[1；2；3]，[4；5；6]），那么我希望我的输出是[（1,4）；（2,5）；（3,6）]。如何首先将元组分为（例如）l1=[1；2；3]和l2=[4；5；6]

您可以使用模式匹配来获取元组的组件。例如，此函数获取两个整数的元组并返回它们的和：

let add_uncurried tuple =
    let (a, b) = tuple in a + b

---

换句话说，您可以编写

let（a，b）=tuple in…

以获取tuple中

a

和

b

名称下的组件，您甚至可以在函数定义中进行模式匹配，如

let add_uncarried（a，b）=a+b

。这也更清楚地表明函数需要一个元组。