定义时间环境与应用程序时间环境之间的差异

Question

我在标准ML中有这个代码，我想知道在定义和应用程序时创建了什么环境和绑定，以及两者之间的区别。

fun boo boo = 
  let
    type boo = int
    val boo : boo = boo
    val boo : { boo : boo } = { boo = boo }
  in
    # boo boo
  end

我搜索过但无法得到准确答案，

提前致谢。

Answer 1

我对SML还有点新鲜，但我想我已经有了这个：

fun boo boo (* 1 *) = 
let
    type boo (* 2 *) = int
    val boo (* 3 *) : boo = boo (* 1 *)
    val boo (* 4 *) : { boo (* 5 *) : boo } = { boo = boo } (* 6 *)
in
    # boo boo (* 7 *)
end

我标记了每个 boo 以跟踪它们。他们是：

1. 类型为int
的自由参数（对函数＆＃39; boo＆＃39;）
2. 一种类型，别名为int
3. boo（int）类型的新值，它绑定到传递给函数的参数
4. 记录值......
5. with field＆＃39; boo＆＃39;类型为boo（int）...
6. 指定了＆＃34; new＆＃34;来自（3）的嘘值
7. 投射场＆＃39; boo＆＃39;来自唱片＆＃39; boo＆＃39; （有类型＆＃39; boo＆＃39;（int））

整体功能的类型为：int -> int