Rules for Evaluation (2)

• d-rules

  • there is a separate rule for evaluating each primitive operator (such as +)
  • Example: the rule for + says that 3 + 4 evaluates to 7

• Name clashes:

( l x . ( ( l x . ( + x 3 ) ) ( + x 4 ) ) ) 5

( l x . ( + 5 3 ) ) ( + 5 4 )

WRONG!!!

Previous slide

Next slide

Back to first slide

View graphic version