功能图（OCaml）中的括号表示

Question

我有一个代表功能图的简单函数：

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

我想知道括号对于（x）:: y

的重要性

谢谢！

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