syntax-error - 为什么会出现这个 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