ML 表达式，逐行帮助

Question

val y=2;
fun f(x) = x*y;
fun g(h) = let val y=5 in 3+h(y) end;
let val y=3 in g(f) end;

我正在寻找逐行解释。我是机器学习新手，正在尝试破译一些在线代码。另外，对“let/in”命令的描述也会非常有帮助。

Answer 1

我对 ocaml 更熟悉，但对我来说看起来都一样。

val y=2;
fun f(x) = x*y;

前两行绑定变量 y 和 f。 y 为整数 2，f 为一个函数，该函数接受整数 x 并将其乘以所绑定的值y，2。因此，您可以认为函数 f 接受一些整数并将其乘以 2。 (f(x) = x*2)

fun g(h) = let val y=5
           in
               3+h(y)
           end;

下一行定义了一个函数g，它需要一些h（结果是一个函数）它接受一个整数并返回一个整数）并执行以下操作：

1. 将整数 5 绑定到临时变量 y。
   • 您可以将 let/in/end 语法视为声明可在表达式中使用的临时变量的方法紧随中。 end 只是结束表达式。 （这与省略 end 的 ocaml 形成对比）
2. 返回 3 加上应用参数 y< 的函数 h 之和/code> 或 5。

在较高层次上，函数 g 接受某个函数，将 5 应用于该函数，并将 3 添加到结果中。 (g(h) = 3+h(5))

此时，环境中绑定了三个变量：y = 2、f = function< /code> 和 g = 函数。

let val y=3
in
    g(f)
end;

现在，3 绑定到临时变量 y 并以函数 f 作为参数调用函数 g。您需要记住，定义函数时，它会保留其环境，因此此处 y 的临时绑定不会影响函数 g 和 f。他们的行为没有改变。

g (g(h) = 3+h(5))，使用参数 f 调用 (f(x) = x*2）。执行参数 h 的替换，g 变为 3+((5)*2)，其计算结果为 13 。

我希望你清楚这一点。