An example of control abstraction

• ML does not have a for statement

• Suppose we wanted to define one; what would it do?

  • Set a variable to an initial value
  • Do a computation that depends on that value
  • Set the variable to a new value
  • Repeat until a condition is satisfied

Previous slide

Next slide

Back to first slide

View graphic version