The Theory of Classification, Part 7: A Class is a Type Family

Abstract

We shall discover circumstances in which a type system based on sub-typing breaks down, providing less than useful information. Object-oriented languages like Smalltalk and Eiffel exhibit sophisticated, systematic kinds of behavior which cannot adequately be described in terms of types and sub-typing.

Cite as:

Anthony J.H. Simons, “The Theory of Classification, Part 7: A Class is a Type Family”, Journal of Object Technology, Volume 2, no. 3 (May 2003), pp. 13-22, doi:10.5381/jot.2003.2.3.c2.