我发现defs是圆形的,主语是由他们的动词定义的,但动词是未定义的!那么你如何定义它们呢？
通函定义
初始化:初始化变量.它可以在声明时完成.
赋值:为变量赋值.它可以在任何地方完成,只有最终标识符一次.
声明:向变量声明值.
[更新,尝试用lambda calc理解主题]
D(x type) = (?x.x is declared with type)
A(y D(x type)) = (?y.y is assigned to D(x type))
%Then after some beta reductions we get initialization.
D(x type) me human // "me" declared with type "human"
A(y (D(x type) me human)) asking // "asking" assigned to the last declaration
%if the last two statemets are valid, an initialization exists. Right?