strongly-typed

A programming language is strongly typed when a type is assigned to every identifier. When the type is not explicitly provided, it is inferred.