ETA的缩写是什么?

cai*_*sil 1 scala terminology lambda-calculus

我只是从eta扩展中找到了一些间接线索

SimpleExpr :: = SimpleExpr1`_
'如果表达式_是方法类型或如果是按名字调用参数,则表达式_的格式正确。
如果是带有参数的方法,则_表示通过eta扩展转换为函数类型。
如果是类型=>的无参数方法或按名称调用参数,则_表示类型()=>的函数,该函数评估何时将其应用于空的参数列表()。

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

siy*_*pao 6

埃塔是希腊字母吗?在这种情况下代表可扩展性。它来自lambda演算。参见https://en.wikipedia.org/wiki/Lambda_calculus#%CE%B7-conversion