ETA 的缩写是什么？答案

【问题标题】：What is ETA short for?ETA 的缩写是什么？
【发布时间】：2019-10-19 23:56:44
【问题描述】：

我只是从eta expansion找到了一些间接线索

SimpleExpr ::= SimpleExpr1
`_' 表达式 ???? _ 如果 ????是方法类型还是如果 ????是一个按名称调用的参数。
如果？？？？是带参数的方法，???? _ 代表？？？？转换为函数按 eta 扩展键入。
如果？？？？是无参数方法或按名称调用的参数类型 =>????, ???? _ 表示 () => ???? 类型的函数，它计算 ????当它应用于空参数列表（）时。

所以我猜 eta 是匿名函数表达式的缩写？我说的对吗？

【问题讨论】：

是的，更准确地说是它们的子类。

标签： scala terminology lambda-calculus

【解决方案1】：

Eta 是希腊字母 η，在这种情况下代表外延性。它来自 lambda 演算。见https://en.wikipedia.org/wiki/Lambda_calculus#%CE%B7-conversion

【讨论】：

我明白了。
α-conversion：改变绑定变量（alpha）； β-reduction：将函数应用于其参数（beta）； η-conversion：捕捉外延性 (eta) 的概念。
β-reduction 更多是关于将函数的参数替换到它的主体中，你减少了一个应用程序。我们谈论 α 重命名和 η 扩展（或相反方向时的 η 收缩）。