Type safety language safety

The property of a language in which every well-typed program (accepted by the static semantics typing rules) will never reach a “stuck term” state due to misusing values according to their types.

According to Robert (Bob) Harper, the coherence between static semantics and dynamic semantics.