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


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


При таком прогнозировании контроль за соответствием поведения (использования) объектов объявленным их ролям становится легко формализуемым. Его обеспечивает концепция типа, ориентированная на имена. В частности, реализованная в Аде концепция уникальности типа (строгая типизация).

Упражнение. Предложите иные концепции, обеспечивающие прог­нози­ро­ва­ние-контроль содержательных ролей данных.

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

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

Возникают два вопроса. Первый - откуда брать исходные совокупности значений, определяющие максимальную изменчивость. Второй - как управлять изменчивостью.

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




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