A data type is an interpretation applied to … [data types allow a compiler] to generate efficient code for expressions. … data types are a tool for modeling [with records and classes] the data space of a problem domain. … a compiler or interpreter can determine whether a … or statement.
Google-1
Google-2
Copyright clearance needed for quotation.