functional-programming - Eta 扩展 - 名称起源

Question

只是想知道名字来自哪里，eta？

我知道的关于 eta 的唯一两件事是：

• 预计到达时间
• 希腊字母的第七个字母

Answer 1

似乎这些规则只是从希腊字母表的开头得到的：

• α -变量重命名
• β - β 还原
• γ - （我没有看到任何伽玛规则，如果你有，请告诉我）
• δ - Church 的 delta 规则（参见Barendregt 中的简短通知，HP The Lambda Calculus: Its Syntax and Semantics。）：

  δ MN = TifM=N和δ MN = FifM不适N用于所有封闭的 nfM和N

• ε - （我没有看到任何 epsilon 规则）
• ζ - 如果Ux=Vx并且x不发生在UVthenU=V
• η - eta 规则

另一个有趣的信息来源可能是F.Cardone 和 JRHindley的 Lambda 演算和组合逻辑的历史，很可能有一些规则很久以前就被抛弃了。