- 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
