为什么在顶层之外的某些语句中需要双分号

如何解决为什么在顶层之外的某些语句中需要双分号

我有以下两行代码：

let a = [1;2;3;4;5;6;7;8;9;0]
print_string (String.concat " " (List.map string_of_int a))

它给了我这个错误：

文件“test.ml”，第 65 行，字符 0-0： 错误：语法错误

但是，如果我以双分号结束该行：

let a = [1;2;3;4;5;6;7;8;9;0];;
print_string (String.concat " " (List.map string_of_int a))

效果很好。

我读过，双分号只能用在顶层，所以我为什么要在这里使用它。如果我不这样做，我应该写什么？

解决方法

双分号可用于引入顶级表达式：

let x = 0
let do_something () = Printf.printf "x=%d" x
;; do_something ()
;; do_something ()

这里没有分隔 ;; 的第一个 do_something () 仍然是函数`do_something 的定义的一部分。

通常认为使用单元顶级绑定更惯用：

let x = 0
let do_something () = Printf.printf "x=%d" x
let () =
  do_something (); do_something ()