With the introduction of changing state, we have concluded that the substitution model is no longer sufficient. The environment model of evaluation is introduced to overcome these limitations. Concepts like the use of environments and the binding of variables are used to build this new model.
| MUST | |||
| SICP 3.2 | The Environment Model of Evaluation | 7.1 | Environment |
| 7.2 | Frames | ||
| 7.3 | Bindings | ||
| 7.4 | Shadowing | ||
| 7.5 | Enclosing environment | ||
| SICP 3.2.1 | The Rules for Evaluation | 7.6 | Evaluating using the Environment Model |
| 7.7 | Drawing technique for the Environment Model | ||
| 7.8 | lamda expressions and evaluation | ||
| SICP 3.2.2 | Evaluating Simple Procedures | 7.9 | exersizes using the Environment Model |
| SICP 3.2.3 | Frames as the Repository of Local State | 7.10 | set! and the Environment Model |
| SICP 3.2.4 | Internal Definitions | 7.11 | ``Defines within defines'' and the Environment Model |
| SHOULD | |||
| COULD | |||
6