A Spectacular Example

Here's a spectacular example, due to Andrew R. Koenig.

We will write a merge sort function.

Strategy:

• Split list into two lists

• Sort each list separately

• Merge sorted lists together

We expect the type of this function to be

        int list -> int list

Next

Copyright © 1999 M-J. Dominus