1

我有一个表示函数映射的简单函数:

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

我想知道 a(x)::y 括号的含义

谢谢!

4

2 回答 2

3

xin周围的括号a(x)没有任何意义——它们完全是多余的。代码的作者也可以这样写:

let f a b = fold_right (fun x y -> a x :: y) b []
于 2013-06-14T15:19:42.130 回答
0

您经常遇到的是处理成对的对列表。人工示例:

res, (k, v)::acc

意味着我们返回一对res和一个关联列表(k, v)::acc。我通常使用(并且更喜欢)最少量的括号来捕捉含义,但其他人建议添加括号以提高可读性。

当您“即时”计算该对时,您不需要任何额外的括号,因为函数应用程序和大多数运算符的优先级高于,and ::-- 人工示例:

f x, (a x, v+1)::acc
于 2013-06-15T11:46:45.333 回答