Examples:

• Strict

(?m.zero)((? n.one) ?)

= (?m.zero) ? (by strictness)

= ?

In this example we simplify the argument to detremine if it is proper or improper. This is a call by value evaluation.

• Non Strict

(?p.zero)((? n.one) ?)

= [(? n.one) ?/p]zero (by definition of application)

= zero

Here there is no need to simplify the argument ((? n.one) ?) first

Previous slide

Next slide

Back to first slide

View graphic version