Page 83 - ЭВМ
P. 83
Предусмотренная определением возможность контроля за ис-
пользованием данных облегчает обнаружение ошибок до начала вы-
полнения программ.
Такая интерпретация типов данных была реализована Дж. Вир-
том в языке Паскаль. Она обеспечила абстрагирование от специфики
конкретных ЭВМ, предоставила богатый выбор готовых типов данных
и стандартных конструкторов типов данных (массивы, записи и т. д.),
полезных для решения задач.
Набор типов переменных языков АТД можно представить сле-
дующим образом (рис. 4.1):
1. Простые типы:
1) скалярные:
а) нестандартные (перечисление);
б) стандартные:
– целый (integer);
– вещественный (real);
– булевский (boolean);
– символьный (char);
2) ограниченные (subrange).
2. Сложные типы:
– массив (array);
– множество (set);
– файл (file);
– запись (record).
3. Ссылки (указатель, pointer).
Рис. 4.1. Структура типов языков АТД
81
