问题描述
我开始学习haskell，今天在我的课堂上，我们的老师解决了一个练习，我们必须替换给出的表达式。老师解析的其中一种表达如下：
(\ x. x) (\ y. y + x) [x: = z + z]
(\ x. x) (\ y. y + (z + z))
好像老师只是用问的新值替换了右边的free x，但并没有减少表达式。我在这个表达式 (\ x. x) (\ y. y + x) 上看到的是氧化还原。所以我首先要做的是减少然后替换。
所以在我的笔记本中，我写了以下步骤来获得解决方案：
(\ x. x) (\ y. y + x) [x: = z + z]
(\ y. y + x) [x: = z + z]
(\ y. y + (z + z))
我的疑问：我的解决方案是否正确？我可以先减少表达式然后替换吗？谢谢
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）