beta reduction
beta reduction · beta reductions
The act of beta reducing, an instance of replacing a function call by the result of…The act of beta reducing, an instance of replacing a function call by the result of calling a function.
/ˈbeɪ.tə.ɹɪˌdʌk.ʃən/
Значение
значений: 2(исчисляемое, неисчисляемое)The act of beta reducing, an instance of replacing a function call by the result of calling a function.
(исчисляемое, неисчисляемое)One of the three rewrite rules of the lambda calculus, which states that the application of a lambda abstraction (λx.t) to a term s yields an expression t[s/x], "t with s instead of x", where all free instances of x in t have been replaced by s.
Формы
мн. число: beta reductions| Ед. число | beta reduction |
|---|---|
| Мн. число | beta reductions |
правильный
Уроки к слову
уроков: 1- A1Исчисляемые и неисчисляемые существительные — Потому что оно может быть неисчисляемым