| slovo | definícia |
normal order reduction
(foldoc) | normal order reduction
Under this evaluation strategy an expression is evaluated by
reducing the leftmost outermost redex first. This method
will terminate for any expression for which termination is
possible, whereas applicative order reduction may not. This
method is equivalent to passing arguments unevaluated because
arguments are initially to the right of functions applied to
them. See also computational adequacy theorem.
|
| |
Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.
na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.
online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4