Java:定义术语初始化、声明和分配
循环定义
初始化:
任务:
声明:
[更新,试图理解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?
慕桂英3389331
肥皂起泡泡
慕田峪4524236
相关分类