SML 中的值绑定？

Question

有人可以帮忙吗。我不知道这里的评估顺序以及我们如何获得 "ans" 的值。例如在第一个例子中没有 y 的值，我不确定这个 returns 是一对还是调用 x ！（fn y => y x）。如果你能跟踪每个表达式，那将是非常有帮助的。

val x = 1
val f = (fn y => y x)
val x = 7
val g = (fn y => x - y)
val ans = f g

val ans = 6 : int

=====================================
fun f p =
let
val x = 3
val y = 4
val (z,w) = p
in
(z (w y)) + x
end
val x = 1
val y = 2
val ans = f((fn z => x + z), (fn x => x + x + 0))

val ans = 12 : int

Answer 1

有几件事有助于使此类问题更加清晰当尝试理解外星函数时 Lexical scoping 有效。

在不修改程序的情况下，在参数和return值中添加类型，编译器会告诉你如果你弄错了...
用命名函数替换匿名函数。
重命名具有相同名称但引用不同词法范围的变量绑定。
删除只使用一次的变量绑定。

将值绑定到名称实际上并不执行任何计算，所以只是为了 reader 的利益，如果它没有做那项工作的话它只是用来混淆，然后一定要删除它。

fun f (y1 : int -> 'a) = y1 1 : 'a;
fun g (y2 : int) = 7 - y2 : int;
val ans : int = f g;

所以 g 作为 f 的参数给出，f 调用 g 给它参数 x，其值为 1，使得 y2 = 1，g 减去 7 - 1 returning 6。 g 的 return 值是一个 int，因此 f 的 'a 当 g 应用于它时的类型是一个 int。

对于第二个稍微清理一下，我将匿名 fn 提取到它们自己的命名值中并调用 f (foo, bar) 以使其更具可读性...

fun f p =
 let val x = 3
     val y = 4
     val (z, w) = p
  in (z (w y)) + x end
fun foo z = z + 1;
fun bar x = x * 2;
val ans = f(foo, bar);

最后，我们可以摆脱只使用一次的 let 值并将 (z,w) = p 替换为仅 (z, w) 作为函数的参数，这应该更容易理解

fun f (z, w) = (z (w 4)) + 3
fun foo z = z + 1;
fun bar x = x * 2;
val ans = f(foo, bar);
val ans = ((4 * 2) + 1) + 3

SML 中的值绑定？

Value Bindings in SML?

functional-programming

sml

ml