(programming, software compilation) the extent to which a programming language discourages or prevents type errors

(geology) The location, usually where the first specimen was discovered, considered most representative of a mineral, formation etc.

(programming) The specification of data types in an otherwise untyped language, to enforce variables having a particular type.

Producing typeset materials.

plural of type locality

(software) a type in a nominative type system that cannot be instantiated.

Having a fitting that screws into another part

(set theory) In the context of sets equipped with an order (especially, the context of totally ordered sets), the characteristic of being a member of some equivalence class of such sets under the equivalence relation "existence of an order-preserving bijection".

(countable) A type of written text, such as descriptive, narrative, expository or argumentative. / (uncountable) Such types considered collectively.

(typography) A person who designs typefaces as a profession.