ocaml - "let () = "在Ocaml中是什么意思？

Question

有类似的代码

let () = print_string "something" in
fn

在一些 OCaml 代码中。

这是什么意思？ “()”有什么特殊含义吗？或者是一样的意思吗

print_string "something";
fn

Answer 1

这个 let 表达式中的 () 没有什么特别的，它只是一个模式。所有 let 表达式看起来都像 let pattern = 表达式 在 其他表达式中。这里的模式将始终匹配，因为 print_string 返回 unit，而 () 是该类型的唯一值。这样，当第一个表达式实际上更像是一个语句(返回 unit)时，这只是将两个表达式组合成一个表达式的另一种方式。

所以你是对的，该构造与使用 ; 运算符的含义几乎相同。唯一真正的区别在于优先级。例如，如果您写

if x < 3 then
    print_string "something";
    f x

你会发现f x总是被调用。 ; 的优先级太低，无法将第二个表达式置于 if 的控制之下。这就是很多人(包括我)养成使用 let () = 表达式 习惯的原因。如果你把上面写成

if x < 3 then
    let () = print_string "something"
    in f x

只有当x小于3时才调用f x，这通常是我想要的。本质上，let的优先级远高于;。

当然，可能还有其他方法可以达到这种效果，但是使用 let 的好处是，您不必稍后在代码中添加任何内容(例如右括号或结束)。如果您将 print_string 添加为调试语句，这是将更改保留在一个位置的本地的一种便捷方法。