Будь-які дані, тобто константи, змінні, значення функцій або вирази в Turbo Pascal характеризуються своїми типами. Тип визначає безліч допустимих значень, які може мати той або інший об'єкт, а також безліч допустимих операцій, які застосовуються до нього. Крім того, тип визначає також і формат внутрішнього подання даних у пам'яті ПК.
Turbo Pascal характеризується розгалуженою структурою типів даних (рис1).

Рисунок 1 - Структура типів даних
В Turbo Pascal передбачений механізм створення нових типів даних, завдяки чому загальна кількість типів, використовуваних у програмі, може бути як завгодно великою.
Масиви
Масив (array)- це скінчений набір елементів одного (базового) типу, які зберігаються в послідовно розташованих комірках оперативної пам'яті і мають спільну назву.
Число елементів в масиві називається розмірністю масиву; кожен елемент масиву задається своїм порядковим номером в масиві - індексом.
Прикладом масиву може бути список прізвищ студентів однієї групи, де кожен студент однозначно визначається своїм порядковим номером у списку (індексом у масиві).
Для створення типу масивів у мові Pascal використаються службові слова TYPE і ARRAY, що дозволяють створити тип даних користувача "Масив". Кожному типу масивів привласнюється ім'я; елементи, що відносяться до даного масиву, описуються в операторі VAR як змінні його типу.
Введення і виведення елементів масиву здійснюється в циклах. Індекси елементів масивів записуються у квадратних дужках.
У математиці поняттю масив відповідають поняття вектора та матриці. Розрізняють одно- та багатовимірні масиви. Двовимірний масив даних — це таблиця, що складається з декількох рядків.
Загальний вигляд конструкції опису типу масиву такий:
Var
ім’я: array [<нижній індекс та верхній індек>] of<тип>;
де ім’я - ім’я змінної масиву;
array -зарезервоване слово мови TPascal, яке означає, що змінна є масивом;
нижній індекс та верхній індекс - цілі константи, які визначають діапазон зміни індексу елементів масиву та кількості елементів (розмір) масиву;
тип – тип елементів масиву.
Описати масив можна у розділі опису типів type,у розділі констант const, або у розділі оголошення змінних var.Назви типів масивів і змішаних-масивів придумує користувач.
Доступ до елемента масиву здійснюється через назву масиву і номер елемента. Цей номер (його часто називають індексом) записується в квадратних дужках, наприклад, а[1] - перший елемент масиву а, b[2] - другий елемент масиву b.
Масиви, елементи яких однозначно визначаються одним індексом, називаються одномірними. У вигляді одномірного масиву можна представити, наприклад, урожайності різних полів одного господарства, де першому полю відповідає перше значення урожайності, другому полю - друге й т.д.; показники успішності різних груп одного курсу по певному предметі, де кожної із груп відповідає своє значення середнього бала за результатами іспиту та ін.
Мова Pascal допускає опис у програмах одномірних масивів у наступному виді:
type <ім'я_типу_масиву>= array [<діапазон_індексів>] of<тип>,
де type - службове слово, використовуване для створення типу даних користувача;
arraу... of- службові слова для опису масивів ("Масив...з");
<ім'я_типу_масиву> - ім'я типу, що задає користувач масиву (вимоги до імен типів збігаються з вимогами до імен змінних);
<діапазон_індексів> - діапазон зміни індексів масиву. Як даний діапазон може виступити будь-який порядковий тип, крім longinteger. Найчастіше використовують тип-діапазон, у якому задають границі зміни індексів;
<тип> - тип елементів масиву, наприклад, real, integer, char та ін.
Приклади опису типу масивів:
type M= array [1..10] of integer;
type AR= array [0..15] of real;
type VT= array [-5..5] of single;
type GRUP= array [1..27] of string [10];
Змінні, які відносяться до того або іншого типу масивів, повинні бути відповідно оголошені в розділі опису змінних.
Наприклад:
var REZ:M;
var P:AR;
var A:VT;
var STUD:GRUP;
Можна також описати змінну, яка безпосередньо має тип масиву, наприклад:
var REZ: array [1..10] of integer;
При звертанні до елементів масиву в тексті програми обов'язково потрібно вказувати їхній порядковий номер у масиві, наприклад, REZ[1], POLE[0], A[5], STUD[i] (де та належить діапазону зміни індексів масиву).
Одномірні масиви, діапазон індексів яких починається з 1 називаються векторами.
Наприклад, якщо задано вектор V з 5 чисел (3, 0, 5, -7, 8), то другий елемент вектора дорівнює 0 (тобто V[2]=0), п'ятий елемент вектора дорівнює 8 (тобто V[5]=8) і т.д.
Щоб опрацювати всі елементи масиву використовують оператори організації циклів.
Приклад. Створити масив з перших ста цілих чисел і обчислити СУМУ всіх його елементів можна так:
S:=0; fori:=1 to100 do begina[i]:=i; s:=s+a[i] end;writeln(s);
Задачі відшукування в масиві конкретних даних розв'язують методом сканування (перебирання, перегляду) усіх елементів масиву за допомогою циклу і умовної команди, де зазначають умову пошуку.