Guy Steele: Types and Run-time Types

At their core, these two techniques are not the same thing at all: http://www.pphsg.org/cdsmith/types.html