Type System • AI Blog

In programming languages, a type system is a set of rules that assigns a type property to different constructs of a computer program, such as variables, expressions, functions, or modules. These types formalize the implicit categories used by the programmer for algebraic data types, data structures,

Source