A data type is a classification that specifies which values a piece of data may hold and which operations may be performed on it, such as integer, string, boolean, or array. Type declarations allow compilers, interpreters, and schema validators to catch category errors before or during execution, and inform how data is stored and serialised. Data types are the atomic building blocks from which composite structures such as records and schemas are constructed.