Wiki. “λ-演算” [λ-演算]
Wiki. “λ-演算” [λ-演算]
#计算机科学
计算与约化
计算 $\lambda$-表达式的主要过程是 $\beta$-约化, 例如 $$ (\lambda x.x+1)3=3+1. $$
还有另外一些规则: $\alpha$-约化是说 $(\lambda x.fx)=(\lambda y.fy)$, $\eta$-约化是说 $(\lambda x.fx)=f$.
#计算机科学
计算 $\lambda$-表达式的主要过程是 $\beta$-约化, 例如 $$ (\lambda x.x+1)3=3+1. $$
还有另外一些规则: $\alpha$-约化是说 $(\lambda x.fx)=(\lambda y.fy)$, $\eta$-约化是说 $(\lambda x.fx)=f$.