Set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules
Also known as typing discipline
11 statements · 9% with external sources · numbers in brackets are citations
2 identifiers linking type system across the web's reference databases
From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0
A programming language consists of a system of allowed sequences of symbols (constructs) together with rules that define how each construct is interpreted. For example, a language might allow expressions representing various types of data, expressions that provide structuring rules for data, expressions representing various operations on data, and constructs that provide sequencing rules for the order in which to perform operations.