scala - ETA 是什么的缩写？

Question

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

SimpleExpr ::= SimpleExpr1
`_' The expression 𝑒 _ is well-formed if 𝑒 is of method type or if 𝑒 is a call-by-name parameter.
If 𝑒 is a method with parameters, 𝑒 _ represents 𝑒 converted to a function type by eta expansion.
If 𝑒 is a parameterless method or call-by-name parameter of type =>𝑇, 𝑒 _ represents the function of type () => 𝑇, which evaluates 𝑒 when it is applied to the empty parameterlist ().

所以我猜 eta 是 expression to anonymous function 的缩写？我说得对吗？

Answer 1

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