Данные, хранимые в переменных и константах, относятся к определенному типу. Тип описывает данные, хранящиеся в константе или переменной, и указывает, как при компиляции будет происходить проверка типа. Такая проверка предотвращает присваивание переменной или константе данных неправильного типа.