提问人：James 提问时间：8/16/2023 更新时间：8/16/2023 访问量：27
在简化 λ 表达式时，您会乘法还是加法？
Do you multiply or add when simplifying λ-expressions?
问：
问题是简化这个 λ 表达式 （λx.x）（λx. λy. y x） 8 （λx. x + 1）
我现在的想法如下 （λx.x）（λx. λy. y x） 8 （λx. x + 1） = （λx. λy. y x） 8 （λx. x + 1）
（λx. λy. y x） 8 （λx. x + 1） = （λy. y 8）（λx. x + 1）
（λy. y 8）（λx. x + 1） = （λx. x + 1）（8）
（λx. x + 1）（8） = 8+1 = 9
然而，我被告知答案是72。为什么 9 在被替换后会乘以前 8 个？
答： 暂无答案
评论