The Theory of Classification, Part 2: The Scratch-Built Typechecker

Abstract

What is the difference between a type and a class? What do we mean by plug-in compatibility? What is the difference between sub-typing and sub-classing? Can we explain inheritance, method combination and template instantiation? In this second column, Simons presents a typechecker that can determine the exact syntactic type of expressions involving objects encoded as simple records.

Cite as:

Anthony J.H. Simons, “The Theory of Classification, Part 2: The Scratch-Built Typechecker”, Journal of Object Technology, Volume 1, no. 2 (July 2002), pp. 47-54, doi:10.5381/jot.2002.1.2.c4.