OCaml的地圖

Question

我在我的代碼的幾個地方，看起來是這樣的：

let (a,b,c) = (f "a", f "b", f "c") 

這將是很好，如果我可以寫這樣的：

let (a,b,c) = map f ("a", "b", "c") 

如果有辦法在OCaml中做這樣的事情？

Answer 1

你可以隨便寫map的一種元素的三元組：

let map_triple f (a, b, c) = (f a, f b, f c) 

let a, b, c = map_triple String.length ("foo", "bar", "quux") 

它只會爲元組的一個長度，但是。

這將是可能的寫GADTified元組類型和編寫一個map在該元組的長度多態的類型，但這種欺騙是最好的避免，除非優勢很大，似乎並沒有在這裏就是這種情況。

Answer 2

最好的答案是你不能這樣做，如果你想讓它適用於不同大小的元組。每個元組大小在OCaml中都是不同的類型。所以沒有OCaml類型表示「元素是字符串的任何大小的元組」的想法。

但實際上這聽起來像是一個多於一個元組的列表。如果您可以使用列表而不是元組，則可以使用普通舊的List.map函數。