在 OCaml 中调用函数的正确方法

Question

最近才开始学OCaml，有个小问题

我正在尝试使用以下函数生成一系列数字

let new_num =
  let cpt = ref (-1) in
  fun () -> incr cpt; Printf.sprintf "__number_%i" !cpt

当我在终端中运行 ocaml 时，我可以获得一个数字，例如： let n = new_num()

但是，当我将上述函数添加到现有文件（有效，只是提供给我）并尝试像这样调用它时，我在包含对 [=15= 的调用的行中收到错误] 函数

let matching_function i = match i with
  | case1 -> ... (* a code that works fine*)

  | C(e,s1,s2)->
    let n1 = new_num() in
    n1
    let n2 = new_num() in
    n2
    let code_e = trl e in  (* trl is a working function somewhere else in my code)
    code_e
    (* rest of code and print n1,n2*)

如果我删除以下部分并且运行文件一切正常。

let n1 = new_num() in
n1
let n2 = new_num() in
n2

我不明白为什么这在终端解释器中有效，但当我运行它在 .ml 文件中时却无效？有人可以向我解释一下并帮助正确调用它吗？（抱歉新手问题）

Answer 1

文件中的代码在句法上无效，就是这样。

你不能拥有这个：

let n1 = new_num () in n1
let ...

此时第二个 let 在句法上无效。

您几乎肯定想要这样的东西：

let n1 = new_num () in
let n2 = new_num () in
...

这定义了 n1 和 n2 供以后在代码中使用。

它在解释器中起作用的原因是您输入的不是相同的代码。

如果您将错误行输入顶层（解释器），您实际看到的是：

# let n1 = new_num () in n1
  let n2 = new_num () in n2;;
Error: Syntax error

如果您在两行之间添加 ;;，它会被接受（尽管它实际上并没有定义名为 n1 和 n2 的 top-level 值）。但这不是相同的代码。 ;; 具有句法效果。

作为旁注，这个表达式：

let n1 = new_num () in n1

完全等同于这个表达式：

new_num ()

特别是，它没有定义您以后可以使用的值 n1。 let v = e1 in e2中v定义的范围就是e2.

在 OCaml 中调用函数的正确方法

correct way to invoke a function in OCaml

ocaml