将元组列表乘以 F# 中的元组

Question

我正在用 F# 编写一些代码，我需要将元组 (c,d) 列表中的每个元素乘以一个元组 (a,b)。

为了澄清，

• 我有一些元组(a,b)
• 还有一些元组列表[(c,d),(e,f),(g,h)...]
• 我正在尝试获取[(a*c,b*d),(a*e,b*f),(a*g,b*h)...]
• 我正在尝试获取（使用单独的函数）[(a+c,b+d),...]

我曾尝试使用List.map 将列表中的每个元素乘以一个元组，但我收到一个错误，即* 是类型元组的无效运算符。

这就是我最终使用模式匹配递归实现乘法函数的方式：

let rec mtp(t:term,p:poly):poly =
    match (t, p) with
        | (a,b),[] -> []
        | (a, b),(c,d)::ps  -> (a*c,b*d)::mtp(t,ps) 

其中 term 是 float * int 的元组，poly 是术语列表

Answer 1

好的，List.map 是个好主意 - 你只需要确保你提供了一些东西（比如说一个 lambda）来告诉 F# 如何对两个元组进行操作。

为了使其更通用，您可以执行以下操作：

let withTuple (a,b) op tpls = 
   List.map (fun (a',b') -> (op a a', op b b')) tpls

并按照您的预期使用它

> withTuple (1,1) (+) [(2,3);(4,5)];;
val it : (int * int) list = [(3, 4); (5, 6)]
> withTuple (2,1) (*) [(2,3);(4,5)];; 
val it : (int * int) list = [(4, 3); (8, 5)]

---

为了更好地理解它，你应该：

• 尝试找出签名（如果你愿意，可以使用 F#/F# Interactive）
• 也许可以尝试编写一个函数，其中元组的各个部分可以具有不同的类型（提示：您需要多个op 函数）
• 为什么最后一个函数需要多个函数？ （为什么withTuple (2.0,1) (*) [(2.1,3);(4.2,5)] 不起作用 - (+) 不应该适用于所有数字吗？）