Для программной обработки с помощью компьютера данные представляются в виде величин и их совокупностей. Величина — это элемент данных с точки зрения их семантического (смыслового) содержания или обработки. Смысловое (семантическое) разбиение данных производится во время постановки задачи и разработки алгоритма ее решения (входные, выходные и промежуточные). Исходные (входные, аргументы) — это данные, известные перед выполнением задачи, из ее условия. Выходные данные (результаты) — результат решения задачи. Переменные, которые не являются ни аргументом, ни результатом алгоритма, а используются только для обозначения вычисляемого промежуточного значения, называются промежуточными. Необходимо указывать имена и типы данных — целый, вещественный, логический и символьный.
Имена в языках программирования принято называть идентификаторами. Есть идентификаторы переменных, констант, типов, функций и т.д.
С понятием величины связаны следующие характеристики (атрибуты):
- идентификатор — это ее обозначение и место в памяти;
- тип — множество допустимых значений и множество применимых операций к ней;
- значение — динамическая характеристика, может меняться многократно в ходе исполнения алгоритма. Во время выполнения программы в каждый конкретный момент величина имеет какое-то значение или не определена.
Постоянной называется величина, значение которой не изменяется (поскольку такое изменение запрещено) в процессе исполнения алгоритма, а остается одним и тем же, указанным в тексте алгоритма. Переменной называется величина, значение которой меняется (в общем случае, может изменяться) в процессе исполнения алгоритма.
Тип выражения определяется типами входящих в него величин, а также выполняемыми операциями. В языке Pascal тип величины задают заранее, т.к. все переменные, используемые в программе, должны быть объявлены в разделе описания с указанием их типа.
Различают переменные следующих простых типов: целые (Integer, Byte, ShortInt, Word, LongInt), вещественные (Real, Double, Single, Extended), логический (Boolean), символьный (Char), перечисляемый, диапазонный (интервальный).
В целом, иерархия типов в языке Pascal следующая: