safe typing

property of a type system that prevents certain erroneous or undesirable program behaviours