lambda-calculus - 教会编码的目的是什么？

Question

最近我正在阅读有关 Lambda 演算和 Church Encoding 的文章，尽管我对它们的含义有了一定的了解，但我很难找到使用高阶函数来表示数值或列表而不是使用数值的目的或直接列出。

在编程中，对 Church-Encoded 表达式执行 Lambda 演算会极大地消耗机器资源，而且看起来效率相当低。我发现出于奇怪的原因，除了Scheme 或Haskell 程序员之外，程序员通常认为这是不好的编程习惯。

使用 Church 编码有什么实际的理由吗？还是只在理论研究中有用？

Answer 1

(形式)语言的分析在技术上变得越简单。例如，如果您可以将数据类型表示为函数(这是 Church 编码为您提供的)，那么您不需要将数据类型添加到您的语言中，只是为了能够检查如何操作其中的数据。

对于实用的编程语言，是的，您最常添加定制的数据类型支持；但您仍然可以通过将它们简化为函数然后仅使用较小的无数据类型语言的语义来定义它们的语义。