我只从eta expansion中找到了一些间接线索
SimpleExpr :: = SimpleExpr1`_'如果𝑒是方法类型或𝑒是按名字调用参数，则表达式_ _格式正确。如果𝑒是带有参数的方法，则_表示𝑒转换为函数通过eta扩展输入。如果𝑒是=> method类型的无参数方法或按名称调用参数，则𝑒_表示（）=> type类型的函数，当将function应用于空参数列表（）时，该函数将评估evaluate。
所以我想eta是匿名函数表达的缩写？我说的对吗？
我仅从eta扩展SimpleExpr :: = SimpleExpr1`_'中找到了一些间接线索如果𝑒是方法类型或𝑒是按名字调用参数，则表达式_ _格式正确。如果𝑒...
Eta是希腊字母η，在这种情况下代表扩展性。它来自lambda演算。参见https://en.wikipedia.org/wiki/Lambda_calculus#%CE%B7-conversion