我想创建一个函数 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
应该将一个三元组作为输入并返回一个三元组。但它显然在某些方面是错误的。在我尝试实现它的过程中,我错过了什么?
最佳答案
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)
但我更愿意将参数放在左侧。如您所见,第一个版本编写起来更短且更易于阅读。
关于f# - 函数签名,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46603268/