Lambda:一个简单的 lambda 演算评估器

Lambda：一个 lambda 演算化简器/评估器 试试教会数字： \> 0 = \f.\x.x \f.\x.x \> S = \n.\f.\x.f(nfx) \n.\f.\x.f(nfx) \> 1 = S0 \f.\x.fx \> 2 = S1 \f.\x.f(fx) \> 3 = S2 \f.\x.f(f(fx)) \> + = \n.\m.nSm \n.\m.n(\n'.\f.\x.f(n'fx))m \> + 2 3 \f.\x.f(f(f(f(fx)))) \> + 2 1 \f.\x.f(f(fx)) \> 3 \f.\x.f(f(fx)) \> * = \n.\m.n(+m)0 \n.\m.n(\m'.m(\n'.\f.\x.f(n'fx))m')(\f.\x.x) \> * 3 2 \f.\x.f(f(f(f(f(fx))))) \> * 2 2 \f.\x.f(f