Notes on Evaluation Strategy

Points to make:

Evaluation is lazy

Validation is entirely on number of arguments

Types are cast, not coerced

Type checking is, in general, impossible

A note on frames and how they're interpreted ?