Каждая переменная в ТП имеет тип. От типа зависит допустимые операции над переменной и размер памяти, ею занимаемый.
Тип::= ИД_типа | простой_тип | структурный_тип | тип_указателя | процедурный_тип.
ТП позволяет программисту определять свой собственный тип, основанный на встроенных или ранее определенных типах. Для этого используется раздел объявления типов в разделе объявлений, как было показано в параграфе 1.3.3.
Раздел_объявления_типов:=
"TYPE" 1{ объявление_типа }.
Объявление_типа::= ИД_типа "=" тип ";".
После объявления идентификатора типа его можно использовать в программе как любой встроенный тип.
Типы в программе применяются при:
1. Объявлении переменных
2. Объявлении типированных констант
3. Объявлении формальных параметров процедур и функций
4. Приведении типов (т.е. преобразовании одного типа в другой).Простые типы определяют упорядоченные множества значений и подразделяются на два больших класса - порядковые и вещественные типы.
Простой_тип::=порядковый_тип | вещественный_тип