我有一个表示函数映射的简单函数:
let f a b = fold_right (fun x y -> a(x)::y) b []
我想知道 a(x)::y 括号的含义
谢谢!
我有一个表示函数映射的简单函数:
let f a b = fold_right (fun x y -> a(x)::y) b []
我想知道 a(x)::y 括号的含义
谢谢!
x
in周围的括号a(x)
没有任何意义——它们完全是多余的。代码的作者也可以这样写:
let f a b = fold_right (fun x y -> a x :: y) b []
您经常遇到的是处理成对的对列表。人工示例:
res, (k, v)::acc
意味着我们返回一对res
和一个关联列表(k, v)::acc
。我通常使用(并且更喜欢)最少量的括号来捕捉含义,但其他人建议添加括号以提高可读性。
当您“即时”计算该对时,您不需要任何额外的括号,因为函数应用程序和大多数运算符的优先级高于,
and ::
-- 人工示例:
f x, (a x, v+1)::acc