syntax - 它适用于太多的论点；也许你忘记了 `;'

Question

我正在尝试编写一个计算列表大小的代码。

这是我所做的:

let rec l = function 
  | [] -> 0 
  | t::q -> 1 + l q


print_int(l ([1;2;3;4]))

问题是它在说我:

It is applied to too many arguments; maybe you forgot a `;'.

当我输入双分号;;时在 l 定义的末尾它运行良好，但我读过 ;;如果您不在 REPL 中编码，则根本没有用，所以在这里我不明白为什么它会给我这个错误。

Answer 1

以下内容

print_int(l [1;2;3;4])

是顶级表达式。此类表达式前面需要加上 ;;:

;; print_int(l [1;2;3;4])

另一个选项是使这个顶级表达式与以下内容绑定(bind)

let () = print_int(l [1;2;3;4])