Структура программы, или главный порядок

Pascal задумывался автором как учебный язык структурного программирования. Как следствие этого программы, на нем написанные, имеют достаточно простую, но жесткую структуру. Она такова

{ часть объявления имени программы: } Program NameOfProgram; { часть объявления списка подключаемых модулей: } Uses {список модулей через запятую }; { часть объявления констант: } Const {список констант и их значений через ; }; { часть объявления типов пользователя: } Type {список типов пользователя через ; }; { часть объявления переменных: } Var {список переменных и их типов через ;}; { часть основной программы } Begin {точка входа} {операторы основной программы} End. {основная точка выхода и конец программы}

Части Program и Uses не являются обязательными, однако должны быть первыми и единственными в программе. Const, Type и Var частей в программе может существовать множество, их порядок не нормируется и определяется требованиями программирования. Часть основной программы всегда является последней, признаком ее завершения является ключевое слово End с точкой после него. Любая информация после завершения основной части игнорируется компилятором.

Идентификаторы, или имена

По определению Н.Вирта (автора языка) программа есть данные продуманной структуры плюс алгоритмы, эти данные обрабатывающие.

Каждое данное (каждый элемент данных) может (и должен) иметь определенное имя (идентификатор). То же самое относится и к каждому типу данных, и к процедурам, и к функциям. Идентификатором на Pascal'e считается любая последовательность из не более чем 126 символов, состоящая из букв латинского алфавита, цифр и символа "_", причем первым символом должна быть буква. Большие и маленькие буквы не различаются. Идентификаторы, у которых одинаковы первые 63 символа, считаются идентичными.

Первое упоминание (нестандартного, то есть не входящего в список зарезервированных) идентификатора в программе должно быть определением типа, переменной, процедуры или функции. Это означает следующую простую вещь: нельзя использовать тип (переменную...) до тех пор, пока он (она) не определена.

Стандартные типы данных

Для того, чтобы правильно обрабатываться компилятором языка, каждый элемент данных должен иметь некоторый определенный тип. Рассмотрим типы данных, стандартно обрабатываемые на Pascal'e. В основном групп типов девять (самих типов - море):

1. целочисленные:

   Integer :	2 байта со знаком;
   ShortInt:	2 байта со знаком;
   Longint:	1 байт со знаком;
   Word:	2 байта без знака;
   byte:	1 байт без знака.

2. дробные:

   Real:	6 байт;
   Single:	4 байтa;
   Double:	8 байт;
   Extended:	10 байт;
   Comp:	8 байт

3. логические:

   Boolean:	1 байт;
   WordBool:	2 байта;
   ByteBool:	1 байт;
   LongBool:	4 байта;

4. символьные:

   Char:	1 байт;
   String:	от 1 до 255 байт + байт длины;

5. указатели:

   Pointer:	4 байтa, нетипизированный указатель;
   ^<имя_типа>:	4 байта, типизированнный указатель;

6. массивы - несколько однотипных элементов, объединенных одним именем; доступ к элементам производится по их номерам (индексам);

7. записи - несколько разнотипных элементов, объединенных одним именем; доступ к элементам производится по их уникальным "подименам";

8. множества - несколько однотипных элементов, объединенных одним именем, причем элементы не повторяются; доступ к элементам производится через специальные функции;

9. файлы - несколько элементов, объединенных одним именем и расположенных вне оперативной памяти; доступ к ним производится с помощью специфических процедур и функций;

10. типы, определяемые программистом, - поименованные структуры из некоторых стандартных типов (эти типы не являются стандартными).

Следует отметить, что диапазон значений числовых типов определяется их размером и наличием знака для целочисленных типов, а для дробных - размером и спецификацией IEEE. Так к примеру диапазон переменной типа байт - от минус двух в седьмой до плюс двух в седьмой без единицы (-128..127). Логические переменные могут принимать значения False и True(ложь и истина соответственно), символьные - любое из значений ASCII набора, строки - набор символов ASCII длиной от 0 до указанной длины (максимально - 255).

Типы (д) - (и) и строковые типы относятся к так называемым сложным типам (потому как одним именем объединено несколько элементов).