Last Updated:2025/11/30

Eta conversion.

音声機能が動作しない場合はこちらをご確認ください
See correct answer

eta reduction

Edit Histories(0)
Source Word

eta reduction

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

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

Sense(1)

plural

Dictionary quizzes to help you remember vocabulary

Edit Histories(0)

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★