English Dictionary

lambda abstraction

名詞

(computing theory) A lambda term of the form (𝜆x.t) where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the 𝜆x. prefix. It is meant to represent an anonymous function.

日本語の意味

計算理論において、(λx.t) の形をとるラムダ項であり、ここで x は変数、t は別のラムダ項となる。t 内で自由な x は λx によって束縛され、無名関数を表現するためのものです。

The compiler optimizes a lambda abstraction by converting it into a closure that captures any free variables in the body.

コンパイラは（λx.t の形をした）無名関数を最適化して、本文中の自由変数をキャプチャするクロージャに変換します。

意味（1）

(computing theory) A lambda term of the form (𝜆x.t) where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the 𝜆x. prefix. It is meant to represent an anonymous function.

lambda abstractions （ plural ）