Скобки значение в функции отображения (OCaml)

Question

У меня есть простой fonction, представляющий функцию карты:

let f a b = fold_right (fun x y -> a(x)::y) b [] 

Я хотел бы знать, значения в скобках для (х) :: у

спасибо!

Answer 1

Круглые скобки вокруг x в a(x) не имеют никакого значения - они полностью избыточны. Автор кода мог бы так же хорошо написать:

let f a b = fold_right (fun x y -> a x :: y) b [] 

Answer 2

То, что вы часто встречаете, имеет дело с парами списков пар. Искусственный пример:

res, (k, v)::acc 

означает, что мы возвращаем пару res и ассоциативный список (k, v)::acc. Я обычно использую (и предпочитаю) минимальное количество скобок, которые фиксируют смысл, но другие советуют добавлять скобки для удобочитаемости.

Когда вы вычислить пару «на лету», вам не нужны никакие дополнительные круглые скобки, так как функция приложения и большинство операторов имеют более высокий приоритет, чем , и :: - искусственный пример:

f x, (a x, v+1)::acc