Type Safe

A language that will not execute operations if the types dont match.

Type Unsafe

A language that will execute all operations regardless of types