(computing) Belonging to a type system that enforces variables matching (or easily convertible to) the expected types.

(computing) belonging to a type system that checks the variable types at runtime.

(computing) Synonym of weakly-typed

plural of type foundry

(object-oriented programming) A type which can be instantiated with any other type.

(programming) A data type that can be only used in certain places, for example as the argument to a function.

plural of A-type conflict

(programming) A type system where some variables are statically-typed and some are dynamically-typed.

(programming) To perform typechecking.

plural of type-founder