假定你那时有三个表达式 f (x) = a + x
那个表达式是不完备的，比如说 f (1) = a + 1 你还差三个难题: a 是啥？
有三个方式提问那个难题
第二种叫“静态回到值”，a的值下定决心于表达式初始化时语句中a的值，比如说
a = 1；
v=f(1) ； 这儿v为2
静态回到值的难题是，表达式每一次初始化完全相同的模块不见得回到完全相同的值，其回到值还倚赖于语句的这类值
第三种是“语法结构回到值”，a的值倚赖于表达式表述时上下文中的值
g (a) = lambda (x) a + x；
f = g(2)
这儿表达式g回到三个和下面表达式f方式那样表达式，a在该处为2，因此继续执行
a = 1；
v=f(1) ；这儿v为3
即使f要“读懂”他们表述时a的值为2，因此同时实现时
f (x) = a + x 和 a = 2 被装箱在几块，被称作“旋量群”，原意是它是完备分立的，实际上倚靠初始化时模块说明器，无须倚赖初始化时的语句
晕，完稿之后才辨认出我也写了许多…
