Question

let () = Random.self_init();;
let _ = Random.self_init ();;
│- : unit = ()

看来“let（）”什么都不返回？

此致！

Answer 1

let是用于定义新变量的关键字，如以下构造中所示：

let pattern = expr

例如

let a = 2

将值2分配给名称a。（注意，这不是为现有变量赋值的方法，但这是另一个主题。）

但=符号左侧的模式可能不仅仅是一个名称。例如

let (a,b) = (42,"foo")

将a和b定义为42和"foo"。当然，双方的类型必须匹配。这是这种情况：双方都是int * string类型。

=符号右侧的表达式也可以详细说明，例如

let foo =
  let temp = String.make 10 'a' in
  temp.[2] <- 'b';
  temp

将foo定义为字符串"aabaaaaaaa"。（作为旁注，它还确保temp是此代码段的本地代码。）

现在，让我们使用两个：左边是模式匹配unit类型的值，右边是unit类型的表达式：

let () = Printf.printf "Hello world!\n"

其中解释了let () =构造。现在，关于let _，只需要知道_可以在模式中用作通配符：它匹配任何类型的值并且不绑定任何名称。例如

let (a,_) = (42,"foo")

将a定义为42，并丢弃值"foo"。 _表示“我知道这里有一些东西，我明确地说我不会使用它，所以我没有说出来”。此处_用于匹配string类型的值，但它可以匹配任何类型的值，例如int * string：

let _ = (42,"foo")

没有定义任何变量，也不是很有用。当右侧有副作用时，这样的结构很有用，如下所示：

let _ = Printf.printf "Hello world!\n"

解释了问题的第二部分。

实用目的

两者都被使用，无论是使用其中一种，都是一种品味问题。

let () =稍微安全一些，因为它让编译器检查右侧是unit类型。除单位以外的任何其他类型的值通常都是错误。

let _ =略短（我见过这个论点）。（请注意，使用自动关闭括号的编辑器，击键次数相同; - ）

Answer 2

我不是OCaml专家，虽然让我分享一些内容：）

OCaml中的let代表两件事：

使用示例，您可以清楚地看到它是如何工作的：分配变量：

# let ten = 10;;
val ten : int = 10

# let hello_world_string = "Hello World";;
val hello_world_string : string = "Hello World"

声明功能：

# let sum a b = a+b;;
val sum : int -> int -> int = <fun>
# sum 2 3;;
- : int = 5

所以，回答问题，let（）=和let _ =之间的区别是：

在第一个示例中，您声明的函数没有名称，参数或应输出单位的指令。第二个例子，你没有分配给_，即OCaml的通配符，任何值。

正如我们在下面看到的，我们可以定义一个函数，它将立即执行，因为我们将无法再调用它：

# let () = print_string "Hello";;
Hello

或者为OCaml的通配符分配类型和值，或者函数：

# let _ = 10;;
- : int = 10
# let _ = print_string "Maybe I answered your question :) ";;
Maybe I answered your question :) - : unit = ()