strongly-typed adjective1 •Belonging to a type system that enforces variables matching (or easily convertible to) the expected types.