Go backward to Substitutions
Go up to Top
Go forward to Semantics of Lazy Evaluation
Eager Evaluation
- Copy rule fails on eager evaluations.
- Body is evaluated when definition is evaluated.
- Example:
- fun F = @loc_1+1
in
loc_1:=0; loc_1:=F; loc_2:=F+2.
- @loc+1 is computed when F is defined.
- Function definition is "const" definition.
- Semantics definition necessary for determining meaning.
"Const" definitions are eagerly evaluated function definitions!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction.tex,v 1.1 1996/03/05 08:55:21 schreine Exp schreine