September 22, 1999 Strong Typing Slide #27

A Spectacular Example

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

We will write a merge sort function.

Strategy:

We expect the type of this function to be

        int list -> int list


Next Copyright © 1999 M-J. Dominus