如何在Lambda演算中进行代换？

Question

我想知道如何进行以下lambda替换：

让我们：

M = λxy.x (λx.x)(λy.x y)

计算替换：

M[x := y xλz.z]

你知道用GHC，Matlab，Wolfram-Mathematica或任何其他工具做这样的替换的方法吗？

Answer 1

谷歌的几秒钟出现了

Mathematica lambda calculus

有一个Wolfram演示包可以做一些lambda演算。我不知道你是否可以用它来评估你的表达式。如果您不能直接使用它，那么很少可能查看演示的源代码，并尝试提取一两行代码供您自己使用，但通常演示似乎非常复杂，因为它们使用了图形表示，因此很难使用任何代码。

Demo lambda

如果这不起作用，那么同样的谷歌搜索也会出现Gray的"Mastering Mathematica“，从第387页开始有一个示例lambda演算解释器。这可能会向您显示足够的页面，以便您可以为您的问题抓取代码。或者一本二手书可能只是网上从二手书商那里买到的一美元。