Comparing strategies
Normal Order Reduction
- Safe but slow
- Corresponds to CBN parameter-passing
Applicative Order Reduction
- “leftmost-innermost first”
- Fast but unsafe (may not terminate, = CBV)
( l x . (x + x) ) (3 + 5)
( l x . (3) ) ( ( l x . (x x) ) ( l x . (x x) ) )