Type

Regarding the nature of values in computer languages.

Types are a large subcategory of computer science, which are hard to summarize succinctly.

How a language implements types has a broad impact on the way the language works, the underlying complexity, the feature availability.