函數簽名

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) 

但我寧願在左側的參數。正如你所看到的，第一個版本的編寫時間更短，更易於閱讀。