type checking
Definition: Whether the behavior of the object conforms to the behavior of the type
What it does: Helps developers find potential bugs.
type conversion
Implicit type conversion: integers can operate with floating-point numbers
Explicit type conversion / coercion