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

如何解决在ocaml中调用函数的正确方法

我最近才开始学习ocaml，但是我遇到了一个小问题

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

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

当我在终端中使用ocaml时，我可以得到一个类似以下内容的数字： let n = new_num()

但是当我将上述函数添加到现有文件（可以正常工作，只是提供给我）并尝试以这种方式调用它时，在包含对new_num函数的调用的行上出现错误

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文件中运行它时却不起作用吗？有人可以向我解释一下，并帮助正确调用它吗？ （对新手问题很抱歉）

解决方法

文件中的代码在语法上无效，仅此而已。

你不能拥有这个：

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的顶级值）。但这不是相同的代码。 ;;具有句法作用。

作为附带说明，该表达式：

let n1 = new_num () in n1

完全等同于以下表达式：

new_num ()

尤其是，它没有定义值n1，您以后可以使用它。 v中let v = e1 in e2的定义范围仅为e2。