Data Type - (TypeSafe|Type Safety|Type Error)

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.

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.

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

• Type_safety
• Type_error