Adjective
strongly-typed (not comparable) (programming) Belonging to a type system that enforces variables matching (or easily convertible to) the expected types.