为什么这个 OCaml 语法错误

Question

我在 Ocaml 中有这段代码

let double x = 2 * x

let triple x = 3 * x

let s = "Hello" in print_endline s

let () = triple 10 |> string_of_int |> print_endline

当使用ocamlc file.ml 编译时会出现错误：

File "file.ml", line 5, characters 16-18:
Error: Syntax error

如果我像这样将;; 放在第 3 行的末尾

let triple x = 3 * x;;

如果我像这样在第 5 行注释字符 16-18

let s = "Hello" (* in print_endline s *)

语法错误消失了。

谁能解释语法错误的原因，以及这两个更正中的每一个都做了什么来解决它？

Answer 1

let s = "Hello" in print_endline s 不是顶级声明，即使它以 let 开头，它也是 let .. in 表达式。如果您不使用 ;; 终止前面的表达式，它期望接下来的内容成为该表达式的一部分，而不是将其解释为顶级声明。

如果您删除 in ... 部分，您会将其从 let ... in 表达式更改为顶级 let 声明。

你也可以把它变成这样的顶级声明：

let () = let s = "Hello" in print_endline s

编辑：

思考这个问题的一种方式是，如果而不是拥有

let triple x = 3 * x

let s = "Hello" in print_endline s

您将let s = ... in ... 替换为更简单的表达式，例如"Hello"：

let triple x = 3 * x

"Hello"

这相当于

let triple x = 3 * x "Hello"

将被解析为将参数"Hello" 应用于函数x