λ演算的实际用法

Question

我最近开始自学 lambda 演算。我无法想象的一件事是如何使用这种语言来构建实际应用程序。我能想到的一个简单用例如下：假设我们有一个班级中多个学生的考试成绩记录。喜欢

name = John, math=30, science = 40 , english = 60 
name = Jane, math=22, science = 80, english = 45
name = Mark, math=77, science = 43, english = 83

我们如何用 lambda 演算（无类型或简单类型）编写一个程序来计算每个学生的平均考试成绩。请注意，我的问题不是关于上述文本的解析，而是关于实际的核心计算。

Expected output:

name = John, average = 43
name = Jane, average = 49
name = Mark, average = 68

能否请您分享如何使用 lambda 演算来实现这个简单的计算？

尽管我对 Haskell 知之甚少，但我并不是在寻找 Haskell 的实现，但我很好奇如何在 lambda-calculus 本身中做到这一点。

最好的问候。

Answer 1

尽管 lambda 表达式用于许多编程语言，如 JavaScript 和 C#（当然还有所有函数式语言），纯 lambda 演算（我假设这就是你所指的）不是打算在实践中使用。就像图灵机不适合任何实际应用一样。

lambda 演算的目的是对计算的性质进行建模和推理。这包括可计算性、等价性和编码等基本问题。

因此，虽然可以编写一个 lambda 演算表达式来满足您的要求，但这个表达式会很大，而且它本身不会特别有启发性。有趣的是这种表达式的基本构建块是什么样的：你如何编码布尔值、布尔运算符、条件分支、整数、算术运算、列表和列表运算 - 最后，recursion - 在纯 lambda 演算中?一旦您对这些问题了解the answer，原则上您就可以构建您所要求的表达式。