eta reduction

countable uncountable

Eta conversion.

Japanese Meaning

ラムダ計算におけるη変換。具体的には、余分な関数抽象化を取り除き、(λx. f x) のような表現を f に簡約する操作。

During optimization, the compiler performed an eta reduction on the lambda expression to eliminate redundant abstraction.

最適化の過程で、コンパイラは冗長な抽象化を除去するためにラムダ式にη変換を施した。

Sense（1）

Eta conversion.

eta reductions

（ plural ）