Search

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

By: Anthony J.H. Simons

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.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn