Horstmann Chapter 7

Types

Type: set of values and the operations that can be applied to the values
Strongly typed language: compiler and run-time system check that no operation can execute that violates type system rules
Compile-time check
Employee e = new Employee();
e.clear(); // ERROR
Run-time check:
e = null;
e.setSalary(20000); // ERROR