问(Lx.xfx)(Lf.xf)(Lx.xf)的lambda微积分
EN

Stack Overflow用户

提问于 2014-06-15 17:27:03

回答 1查看 58关注 0票数 1

我想问一下为什么这个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))？

谢谢。

回答已采纳

发布于 2014-09-04 20:56:16

因为(xf)(Lf.xf)(Lx.xf)是(xf(Lf.xf))(Lx.xf)。您不知道(xf)(Lf.xf)会产生什么结果。表达式计算不是关联的。

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/24232218

复制

相似问题

问(Lx.xfx)(Lf.xf)(Lx.xf)的lambda微积分EN