我发现这些定义循环了,主语是由动词定义的,但动词却未被定义!那么如何界定它们呢?
循环定义:
初始化:为变量进行初始化。可以在声明时完成。
赋值:为变量指定值。可以在任何地方完成,并且只能使用最终标识符一次。
声明:为变量声明值。
[更新,尝试用λ演算理解该主题]
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?