6 More Lists

This lecture has two main goals:

1. To define append, a predicate for concatenating two lists, and illustrate what can be done with it.

2. To discuss two ways of reversing a list: a naive method using append, and a more efficient method using accumulators.

• 6.1 Append
  • 6.1.1 Defining append
  • 6.1.2 Using append

• 6.2 Reversing a list
  • 6.2.1 Naive reverse using append
  • 6.2.2 Reverse using an accumulator

• 6.3 Exercises

• 6.4 Practical Session 6