Reduction to Normal Form

• Practical implementations almost never reduce to full NF (wasted computation)

• Weak Head Normal Form

• Head Normal Form

• Normal Form

l x . ( ( l y . ( + ) ) 4 (5 + 6) )

l x . ( + (5 + 6) )

l x . ( + 11 )

Previous slide

Next slide

Back to first slide

View graphic version