What is data type check?

A data type (or datatype) in programming languages is an attribute of data that represents the kind and structure of the data. This involves setting constraints on the data, such as validity restrictions to values and the types of operations that may be performed upon it.