我发现 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?
任务:丢弃变量的旧值并用新值替换
初始化:这是一种特殊的任务:第一个。在初始化对象之前有null
值和原始类型具有默认值,例如0
or false
。可以与声明一起进行。
宣言:声明说明变量的类型及其名称。一个变量只能声明一次。编译器使用它来帮助程序员避免错误,例如将字符串值分配给整数变量。在读取或分配变量之前,必须先声明该变量。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)