Typing discipline: Type-safe

Type-safe languages use their type system to prevent certain kinds of errorneous and undefined program behaviour.

A language is type-safe if the only operations that can be performed on the data are those sanctioned by the type of the data, i.e., the ones which make sense for this data type.