Sanakirja
Tekoälykääntäjä
Käännöksiä ei löytynyt valitulle kohdekielelle.
Määritelmät
Verbi
- (computer science, transitive or intransitive) To syntactically replace a function call by the result of calling that function.
Yritit hakea fraasilla, joka sisältää useita sanoja. Parempien hakutulosten saamiseksi kokeile hakea sanoja erikseen: beta, reduce
Samankaltaisia sanoja
- beta ray
- beta rays
- beta reader
- beta readers
- beta reduced
- beta reduces
- beta reducing
- beta reduction
- reduce
- reduce flesh
- reduce its own size
- reduce or simplify a serious problem on somebody's behalf
- reduce the intensity of a sound
- reduce the number of
- reduce the speed
- reduce the volume
- reduce to obedience
- where it may apply or reduce pressure
Esimerkit
- The term (λ x.\, x)\,y can beta reduce to y\!.
Taivutusmuodot
| Partisiipin perfekti | beta reduced |
| Imperfekti | beta reduced |
| Partisiipin preesens | beta reducing |
| Yksikön kolmannen persoonan indikatiivin preesens | beta reduces |