beta reduce
beta reduce · beta reduces · beta reduced · beta reducing
To syntactically replace a function call by the result of calling that functionTo syntactically replace a function call by the result of calling that function.
Значение
значений: 1To syntactically replace a function call by the result of calling that function.
The term (#92;lambdax.#92;,x)#92;,y can beta reduce to y#92;#33;.
Формы
beta reduces, beta reducing, beta reduced, beta reduced| Базовая форма | beta reduce · to beta reduce |
|---|---|
| 3-е лицо ед. числа | beta reduces |
| Причастие настоящего времени | beta reducing |
| Прошедшее время | beta reduced |
| Причастие прошедшего времени | beta reduced |
правильный
Однокоренные
связанных слов: 1Связанныеbeta reduction
Уроки к слову
уроков: 3- A1Present Simple: настоящее простое время — Потому что это глагол
- A1Past Simple: неправильные глаголы — Потому что у него есть форма прошедшего времени
- A2Present Perfect: введение — Потому что у него есть причастие прошедшего времени