Type systems

concept in object-oriented programming

set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules

automatic detection of the data type of an expression in a programming language

In object-oriented programming languages, a mixin (or mix-in) is a class that contains methods for use by other classes without having to be the parent class of those other classes. How those other classes gain access to the mixin's methods depends on the language. Mixins are sometimes described as being "included" rather than "inherited".

data type whose definition depends on a value

classification of programming language type systems by how strongly they guarantee program validity

major class of type system, in which compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types

type system supporting type inference