如何解决Lambda 演算评估:首先减少表达式然后替换?
我开始学习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 举报,一经查实,本站将立刻删除。