Conor McBride: Seeing and Doing

or Termination for Free

A common programming style:

• Pick a simple data structure.
• Describe your algorithm by saying first do this, then do that.

A better style:

• Understand the structure of your computation and design your data structures to match.
• This allows you to see the structure of the computation, since it follows the data structure.