-
Y组合(递归,DNA)
-
函数、变量、应用
-
12 也是变量
-
没有实参则保留
-
“λ”,“.”,“(”,“)”,五大符号,空格与","等价为参数间隔符
-
λ项
-
α-变换,β-归约,η-变换
-
函数第一性
0 = λ f x. x
F = λ x y. y
等价
Y组合(递归,DNA)
函数、变量、应用
12 也是变量
没有实参则保留
“λ”,“.”,“(”,“)”,五大符号,空格与","等价为参数间隔符
λ项
α-变换,β-归约,η-变换
函数第一性
0 = λ f x. x
F = λ x y. y
等价