lambda演算（Lx.xfx）（Lf.xf）（Lx.xf）

Question

＆＃39;想问为什么这个lambda表达式： (Lx.xfx)(Lf.xf)(Lx.xf)以这种方式正常缩减：

-> (Lf.xf)f(Lf.xf)(Lx.xf)

-> (xf)(Lf.xf)(Lx.xf)

为什么我会在这里停下来？为什么我不申请(Lf.xf)(Lx.xf)并获得(xf)(x(Lx.xf))？

谢谢。

Answer 1

因为（xf）（Lf.xf）（Lx.xf）是（xf（Lf.xf））（Lx.xf）。你不知道（xf）（Lf.xf）会产生什么。表达式评估不是关联的。