OCaml语法混乱

Question

当我第一次开始使用in语句时，我认为它非常简单并且很有意义。 但是，这些代码示例让我怀疑我对它们的理解程度。

let fun1 x = let fun2 y = y + 1 in fun2(x);;
val fun1 : int -> int = <fun> 

我认为可以将其声明为fun2，然后将其应用于通过fun1获得的变量x调用fun2。

let sum1 i = let sum2 j = i+j in sum2;;
val sum1 : int -> int -> int = <fun> 

这使我更加困惑，并提出了更多问题。 我真的不知道该怎么解释。 是sum1被声明为在sum2中使用吗？ 如果是这样，为什么in适用于外部函数，而不是内部函数就像它在第一个例子？

在解释这些代码段方面的任何帮助将不胜感激。

Answer 1

没有in语句。 在let [rec] pattern = expression {and pattern = expression}有如下形式的let定义： let [rec] pattern = expression {and pattern = expression}和let形式的表达式let [rec] pattern = expression {and pattern = expression} in expression （其中[]表示“可选”， {}表示“零或更多”）。 所以in只是let表达式语法的一部分。

是sum1被声明为在sum2中使用吗？

序号sum2被定义为在sum1内使用，就像您的第一个示例一样。 sum1 i只是返回sum2作为其结果。 不给返回的函数命名的另一种写法是：

let sum1 i = fun j -> i + j

甚至：

let sum1 i j = i + j