Static and Dynamic classes

We say the class used in the declaration is the static class for the variable, while the class of the value it actually holds is the dynamic class of the variable.

Even statically typed languages permit these two classes to differ. For example, the static class might be Mammal, while the dynamic class is Dog.

[audio] [real] Text to accompany slide6, in Chapter 10 of An Introduction to Object-Oriented Programming