Static Types

Aspect of some programming languages where the type system is fixed and variables and/or function arguments cannot be automatically recast to hold a new type. The opposite of dynamic types.