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



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


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

С точки зрения пользовательской документации на программное изделие, ЯП всегда выступает в роли инструмента реализации. Он тем лучше, чем проще объяснить пользователю назначение выделенных программных компонент и чем ими самими удобнее и дешевле пользоваться. Назовем соответствующий критерий качества языка критерием выделимости.

По выделимости Ада превосходит, скажем, Алгол 60 или Бейсик, так как позволяет адекватно оформлять не только компоненты-функции, но и компоненты-данные, и компоненты-задачи, и компоненты более "тонкого" назначения. Другими словами, Ада выигрывает в выделимости потому, что предоставляет более развитые средства абстракции и конкретизации.

[Причем здесь абстракция-конкретизация?].

Конец замечания.

Шаг 2.3 (строки 12-14). Предоставляя средства для изменения сети, определяем три процедуры: вставить, удалить и связать (параметры у них типа имя_узла).

С одной стороны, после этого шага мы можем быть довольны - внешние требования к проектируемому комплексу услуг в первом приближении выполнены. С другой стороны, появилась необходимость определить упомянутые на предыдущих шагах типы данных.

[Так всегда - завершив абстракцию и конкретизацию верхнего уровня, создаем почву для аналогичной работы на нижнем уровне и наоборот].

Шаг 2.4 (строка 2). Определяем тип имя_узла. Этот тип уже частично нами охарактеризован (где?) - данные этого типа могут служить аргументами всех процедур и функций, объявленных в нашем пакете. Другими словами, этот тип уже охарактеризован по фактору (применимых) операций. Выписывая его явное определение, мы характеризуем данные этого типа по фактору изменчивости - указываем, что диапазон (range) их возможных значений - целые числа от 1 до числа макс_узлов (пока еще не определенного).


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