Types II: Types and Objects—Alternatives
In this chapter, we will take the notion that classes are types very seriously. We will attempt to discover some of the confusions that are possible when this equivalence is assumed only partially, as is the case in many current class-based languages.
Unable to display preview. Download preview PDF.