Glossary

Eventually, this should probably be expanded to a list of links to glossary sub-pages based on first letter.

cohesion - "the degree to which a class has a single-well-focused purpose" -K. Sierra & B. Bates, SCJP Sun Certified Programmer for Java 6 Study Guide (Exam 310-065)

covariance - Child[] is a subtype of Parent[] (as long as Child is a subtype of Parent). FILL IN MORE cf. contravariance, invariance Wikipedia article

contravariance - FILL IN cf. covariance, invariance Wikipedia article

invariance - List<Child> is not a subtype or a supertype of — or in any way related to, really — List<Parent> FILL IN MORE cf. covariance, contravariance Wikipedia article

non-reifiable - "[a type] whose runtime representation contains less information than its compile-time representation" -J. Bloch, Effective Java, Second Edition (all parameterized types except unbounded wildcards) FILL IN MORE

ordered - FILL IN cf. sorted

sorted - FILL IN cf. ordered

type safety - a guarantee that objects of a given type can't be treated as objects of another type, with exceptions for subclasses; Stack Overflow definition