函数签名

Question

我想创建一个函数map3，给定一个函数f和一个元组(a, b, c)将f应用于元组的每个成员。功能的预期签名应该是：

('a -> 'b) -> 'a * 'a * 'a -> 'b * 'b * 'b。

我试了几种方法：

> let map3 = fun x -> let f = fun (a, b, c) -> (a, b, c) in f x;; 
val map3 : 'a * 'b * 'c -> 'a * 'b * 'c 

> let map3 = fun x y -> x (let f = fun (a, b, c) -> (a, b, c) in f y);; 
val map3 : x:('a * 'b * 'c -> 'd) -> 'a * 'b * 'c -> 'd 

> let map3 = fun (x, y, z) -> let f = fun (a, b, c) -> (a, b, c) in f (x, y, z);; 
val map3 : x:'a * y:'b * z:'c -> 'a * 'b * 'c 

我强烈怀疑，我没有得到函数签名是如何工作的。根据what I get，map3应该有一个输入和一个输出，而f应该输入一个三元组并返回一个三元组。但是这显然是错误的。我在尝试实施它时遇到了什么？

Answer 1

let map3 f (x, y, z) = (f x, f y, f z) 

你也可以把它写像

let map3 f = fun (x, y, z) -> (f x, f y, f z) 

或

let map3 = fun f (x, y, z) -> (f x, f y, f z) 

但我宁愿在左侧的参数。正如你所看到的，第一个版本的编写时间更短，更易于阅读。