Primitive types are value based, but object types are reference based, and therein lies both the power and the source of controversy of primitive types.

Covariance and contravariance might seem esoteric, but you'll need these concepts more than ever as the Java language evolves. Get started with type dependency in array types, generic types, and ...