Простые типы данных определяют различные множества атомарных (неразделимых) значений. Составные или структурированные типы, в отличие от простых, задают множества «сложных» значений; каждое значение из такого множества образует некоторый агрегат (совокупность) нескольких значений другого типа (или других типов). Можно сказать, что составные типы определяют некоторый способ образования новых типов из уже имеющихся, причем отдельные элементы составных значений могут иметь любой, в том числе составной, тип. Таким образом, Pascal допускает образование структур произвольной сложности, позволяя тем самым достичь адекватного представления в программе данных, с которыми она оперирует.
Одним из основных структурированных типов алгоритмических языков программирования является тип-массив. Каждое значение типа-массива состоит из фиксированного числа элементов одного и того же базового типа. Такой способ образования новых значений (фиксированное число однотипных компонент) позволяет обозначать значения этих типов одним (групповым) именем, а доступ к отдельным элементам массивов организовать посредством указания этого группового имени и индекса необходимого элемента.
Для корректного определения типа-массива необходимо задать две характеристики: тип элементов массива, а также количество и способ «нумерации» элементов. Последние характеристики задаются посредством указания типа индекса. Определение регулярного типа имеет следующий общий вид: