ETA 是什么的缩写？
What is ETA short for?
我只是从 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 的缩写？我说的对吗？
Eta 是希腊字母 η，在这种情况下代表外延性。它来自 lambda 演算。参见 https://en.wikipedia.org/wiki/Lambda_calculus#%CE%B7-conversion
我只是从 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 的缩写？我说的对吗？
Eta 是希腊字母 η，在这种情况下代表外延性。它来自 lambda 演算。参见 https://en.wikipedia.org/wiki/Lambda_calculus#%CE%B7-conversion