lambda-calculus - 我需要一些有关对 Lambda 演算表达式进行热切评估的步骤的帮助吗？
问题描述
我对如何跟踪这个 Lambda Calculus 表达式的急切评估步骤感到困惑。我不确定步骤是什么。
(λu.(u λg.λh.h) ((λx.λy.λf.((fx) y) a) b))
解决方案
实际上，您给出的术语已经是正常形式并且不能减少，因为所有应用程序首先都使用与 lambda 抽象相关的变量。如果您在减少条款方面有任何困难，我建议您使用一些在线工具。例如：https ://www.cl.cam.ac.uk/~rmk35/lambda_calculus/lambda_calculus.html
推荐阅读
- apache-flink - Flink 作业 .UnfulfillableSlotRequestException：无法满足插槽请求。Req 资源配置文件 (ResourceProfile{UNKNOWN}) 无法完成
- sql-server - 如何在数据仓库中处理未来的伊斯兰假期
- node.js - Mongoose 多个可选的“和”条件
- pandas - pandas：从大型 DataFrame 中过滤掉几行（异常值）的有效方法
- python-3.x - 如何根据列值扩展数据框？
- python - 仅在给定有序索引和深度的情况下识别数据框中分层数据的父级
- python - 如何在 MacOS 上打开 Outlook 并撰写电子邮件（但不发送）？
- beautifulsoup - 请求响应对象：如何检查页面加载完全（动态内容）？
- filter - Liinux HTB Qos 过滤器未按预期工作
- c# - 访问打印机“PRINTERNAMEHERE”的设置无效