Scala ETA是什么的缩写？

我只是从中找到了一些间接的线索

SimpleExpr:：=SimpleExpr1

---

`_'表达式Eta是希腊字母η，在本例中代表扩展性。它来自lambda演算。参见

是的，更精确地说，参见它们的一个子类
α-转换：改变边界变量（α）；β-归约：将函数应用于其参数（β）；η-转换：它捕获了可扩展性（eta）的概念。β-缩减更多的是将函数的参数替换到函数体中，即缩减应用程序。我们讨论α-重命名和η-展开（或相反方向的η-收缩）。