Select Keyboard: Türkçe ▾ X
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Englisch - Englisch
Definition von to syntactically replace a function call by the result of calling that function im Englisch Englisch wörterbuch
- beta reduce
The term (\lambda x.\, x)\,y can beta reduce to y\!.
to syntactically replace a function call by the result of calling that function
Silbentrennung
to syn·tac·ti·cal·ly re·place a func·tion call by the re·sult of call·ing that func·tionAussprache
Resimler
Historie
Favoriten