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 tuple и написать map над этим типом, который является полиморфным по длине кортежа, но такого рода обман лучше избегать, если преимущество не велико, что не кажется в данном случае.

Answer 2

Лучшим ответом является то, что вы не можете этого сделать, если хотите, чтобы он работал на кортежи разных размеров. Каждый размер кортежа отличается от OCaml. Таким образом, не существует типа OCaml, представляющего идею «кортежа любого размера, элементами которого являются строки».

Но на самом деле это звучит как список больше, чем кортеж. Если вы можете использовать списки вместо кортежей, вы можете использовать обычную старую функцию List.map.