Интервальные типы данных. Оператор TYPE. Массивы С.А. Григорьев
    Интервальный тип - это некоторый подтип порядкового типа данных (вспомним, что порядковые типы - это ShortInt, Byte, Integer, Word, LongInt, Char и Boolean). Пусть, например, некоторая переменная в программе может принимать значения от -1 до 99. Мы могли бы описать ее как LongInt или Integer (глупо!), могли бы описать ее как ShortInt, что достаточно разумно. Но можно создать для нее и специальный тип данных, объединяющий только числа от -1 до 99 :
    VAR x : -1..99;
    Вместо имени одного из стандартных типов мы использовали в описании переменной построенный нами собственный интервальный тип. Таким образом описанная переменная x может принимать только значения -1,0,1,...,99 , в остальном она ничем не отличается от других целых переменных. Ее можно вводить, выводить, использовать в качестве переменной цикла, подставлять в выражения и т.п. Любой интервальный тип есть подтип некоторого стандартного базового типа, в нашем случае - типа ShortInt. Но если бы мы стали использовать интервальный тип -1..200 , то он бы уже был подтипом типа Integer, а 0..200 - подтипом типа Byte. Компилятор Паскаля самостоятельно анализирует интервальные типы и подбирает для них минимальный подходящий базовый тип. Это нужно знать, чтобы определять размер и способ кодировки ваших переменных. Вы можете выполнить оператор
    WRITE('переменная x:-1..99 занимает ',SizeOf(x),' байт');
    и убедиться, что ее размер действительно равен 1.
    В качестве базового типа можно использовать не только арифметические типы, но и типы Char и Boolean (правда, в последнем случае это довольно бессмысленно). Опишем, например, переменную, значением которой могут быть только маленькие латинские буквы :
    VAR Letter : 'a'..'z';
    или переменную, в которой могут храниться русские буквы:
    VAR RusLetter : 'А'..'я';
    В общем случае интервальный тип описывается как
    константное выражение 1 .. константное выражение 2,
    где оба выражения имеют один порядковый тип и второе из них не меньше первого. Созданным вами типам вы можете давать имена, для этого используется оператор TYPE :
    TYPE имя типа=описание типа;
    Операторы TYPE так же, как и все другие операторы описания, записываются в разделе описаний. В программе может быть сколько угодно операторов TYPE, и их можно чередовать с другими операторами описания, но любые идентификаторы, использованные в описании типа, должны быть описаны раньше. После того, как некоторый тип получил имя, вы в дальнейшем можете пользоваться этим именем вместо полного описания типа :
    CONST Tmin=-5;
    Tmax=15;
    TYPE T_Range_Type=Tmin..Tmax;
    VAR t:T_Range_Type;
    TYPE T_Range_SubType=Tmin+3..Tmax-5;
    VAR t1:T_Range_SubType;
    Заметим, что хороший программист всегда дает имена собственным типам, причем старается, чтобы эти имена были осмысленными.
    Теперь, зная об интервальных типах, мы можем говорить о массивах. Массив во всех языках программирования - это множество индексированных (пронумерованных) однотипных элементов. В Паскале описание одномерного массива имеет вид:
    ARRAY [тип индекса] OF тип элемента
    Здесь тип индекса - ShortInt, Byte, Char, Boolean или интервальный тип; тип элемента - любой тип, в том числе и массив. ............