Chapter 11
Type abstraction




I have tried to give an illustration of the value of type abstraction using the abstype of search trees. The implementation has a size field added, and we can then examine the effect on the functions using the search trees. It would be interesting to illustrate this using abstypes from other case studies.


There is plenty of scope for class exercises to design abstract data types, particularly examples which have been presented earlier in the course.

Next Up

Written 18 May 1995.