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




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


Во-первых, согласованность основных абстракций действительно требовалась, и ,во-вторых, Ада необходимые выразительные средства предоставляет.

Принцип цельности дает основания ввести критерий технической оценки языка, который можно назвать критерием цельности: язык тем лучше, чем ближе он к идеалу с точки зрения принципа согласования абстракций. Ясно, что с точки зрения технологии пошаговой детализации Ада превосходит классические ЯП и по этому критерию.

Упражнение. Пользуясь критерием цельности, оцените другие известные  ЯП (Паскаль, Ассемблер, рефал).

4.6.5. Замечания о конструктах

Пройдемся по написанным фрагментам программы еще раз. Теперь поговорим о строении, смысле и назначении использованных конструктов.

В целом мы написали две СПЕЦИФИКАЦИИ ПАКЕТА. Отличительный признак этого конструкта - ключевое слово package (пакет). Спецификация пакета содержит объявления имен, которые становятся доступными при использовании пакета посредством указания контекста (например, объявления из пакета параметры_сети становятся доступны в пакете управление_сетью за счет указания контекста with параметры_сети).

Спецификацию пакета можно оттранслировать и поместить в ТРАНСЛЯЦИОННУЮ БИБЛИОТЕКУ. Получится модуль, пригодный для связывания (посредством указаний контекста) с другими (использующими его) модулями в процессе их трансляции и загрузки.

Пакет может состоять из одной спецификации или из спецификации и тела. Например, для пакета параметры_сети тело не требуется, в отличие от пакета управление_сетью (как Вы думаете, почему?).

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

В спецификацию пакета входит совокупность ОБЪЯВЛЕНИЙ.

В каждой из строк 2-3 спецификации пакета параметры_сети находится ОБЪЯВЛЕНИЕ ПОСТОЯННОЙ, точнее, ОБЪЯВЛЕНИЕ ЧИСЛА.


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