Что такое ETA?

Question

Я нашел только косвенную подсказку из Этап расширения

SimpleExpr :: = SimpleExpr1`_ 'Выражение ? _ правильно сформировано, если ? имеет тип метода или если ? является параметром вызова по имени. Если ? - это метод с параметрами, ? _ представляет ?, преобразованный в тип функции путем расширения eta. Если ? является параметром без параметров или параметром вызова по имени типа => ?, ? _ представляет функцию типа () => ?, которая оценивает ? при применении к пустому списку параметров ().

Итак, я полагаю, что это сокращение от выражения до анонимной функции? Я прав?

Answer 1

Ета - это греческая буква η, и в этом случае она обозначает расширение. Это исходит из лямбда-исчисления. Смотри https://en.wikipedia.org/wiki/Lambda_calculus#%CE%B7-conversion