Языки программирования. Практический сравнительный анализ



Языки программирования. Практический сравнительный анализ - стр. 155


данное можно характеризовать перечнем классов по всем шести факторам. Классификация не претендует на полноту, но позволит нам ориентироваться, в частности, в системе управления данными в Аде.

4.7.2. Типы данных

Классификация данных присутствует в каждом ЯП. В примитивном виде мы имели с ней дело и в рассмотренных нами моделях. В Алголе она отражена в системе классов и типов (классы - процедуры, метки, простые переменные, массивы, переключатели; типы - целый, вещественный, логический), в Фортране - также в системе классов типов (классы имен - массив, переменная, внутренняя функция, встроенная функция, внешняя функция, подпрограмма, переменная и общий блок; типы - целый, вещественный, двойной точности, комплексный, логический, текстовый). В более современных языках имеется тенденция более полно отражать классификацию данных в системе типов, в связи с чем само понятие типа данных меняется от языка к языку. Поэтому к понятию типа данных будем относиться как к рабочему понятию, отражающему определенные аспекты нашей классификации (и возможно, кое-что еще) в каждом языке по-своему и ориентированном, прежде всего, на упрощение прогнозирования и контроля.

4.7.3. Система типов в Аде (элементы теории типов)

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

Так, система типов в Аде отражает, конечно, специфику встроенных систем программного обеспечения (в особенности, требование повышенной надежности, эффективности объектной программы и относительное богатство ресурсов базовой (транслирующей) машины). Но, с другой стороны, некоторые свойства этой системы явно предписаны техническими требованиями заказчика и не могли быть изменены авторами языка.




Содержание  Назад  Вперед