About

type safety means that the operations perform on a variable with a certain type are controlled at compile time. They are then safe at runtime (when the code runs). Errors would not show up when the code is running.

Articles Related

Java Definition

In java, type safety means, for instance, that you can't (cast|transform) a Java integer into an object reference or access private memory by corrupting Java bytecodes.

Example

• gerardnico/java-type/blob/master/src/DemoGenericContainerNotTypeSafe.java

Documentation / Reference

• wiki/Type_safety
• wiki/Type_error