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


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


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

Изменчивостью управляют посредством явных ограничений - указывая диапазон изменения значений, диапазон индексов, фиксируя значения отдельных полей или даже всего объекта. В последнем случае получается постоянная. Концепция типа в Аде в целом обеспечивает квазистатическое управление изменчивостью.

4. Способ определения. Различаются предопределенные типы и объявляемые пользователем. С этой точки зрения в Аде особенно интересны приватные типы. На уровне использования они инкапсулированы и могут быть сделаны неотличимыми от предопределенных. В Аде это одно из важнейших средств развития, средство определения нового языка. Точнее, это основное средство определения нового языка с новыми абстракциями данных. Без приватных типов можно вводить новые операционные абстракции, но не абстракции данных. Именно поэтому приватные типы незаменимы при создании надежных пакетов прикладных программ.

5. Представление. Ада позволяет управлять, во-первых, относительным представлением данных, когда речь идет о представлении приватных типов на уровне их реализации типами иных категорий; во-вторых, абсолютным представлением, когда речь идет о представлении любых типов на целевой машине (посредством указаний представления).

6. Внешние свойства. Набором применимых операций в Аде управляют  объявлением типа и определяющим пакетом.

 

Итак, система типов языка Ада хорошо согласуется с нашей классификацией. С другой стороны, эта классификация указывает направления развития адовских средств управления данными.

Упражнение. Предложите такие средства.




- Начало -  - Назад -  - Вперед -