functional-programming - 实践中的 Lambda 演算

Question

如何选择语言，实际计算的一个 lambda 项 (λx.y)((λx.xxx)(λx.xxx))？换句话说，需要一种语言对正常的顺序归约和弱类型系统。

Answer 1

你搜索了什么，到目前为止你发现了什么？

我想说没有满足这个要求的标准语言，因为在大多数语言中，你总是有不同的类型，而不仅仅是无类型的术语。您可能需要一个纯 lambda 演算解释器（实现一个是一个很好的练习）。