Evaluation strategies (or reduction strategies) are rules on how to evaluate programs. Common strategy choices include call-by-value (applicative order) vs. call-by-name (normal order) and eager (strict) vs. lazy.

Evaluation strategies (or reduction strategies) are rules on how to evaluate programs. Common strategy choices concern function arguments and include call-by-value (applicative order) vs. call-by-name (normal order) and eager (strict) vs. lazy.

history | excerpt history