Непейвода Н.Н. Программирование. Раздел 4

Непейвода Н.Н. Программирование. Страница 392

Это предупреждение выражает еще одно концептуальное противоречие. В идеале абстрактные высокоуровневые концепции надо было бы реа лизовывать в языках, вообще не содержащих конкретных типов данных и конкретных понятий, а уже затем получившиеся шаблоны применять к кон­кретным конструкциям. Блестящий эксперимент Б. Л исков с языком АТД СШ [54] имел своей ахиллесовой пятой именно недостаточное осознание необходимости жестких и даже жестоких решений при последовательном проведении нового метода, в нем пытались совместить восходящий и нис­ходящий подходы.

Приведенное выше предупреждение связано со следующим практиче­ским наблюдением. Есть два пути построения структуры данных програм­мы:

наращивание сложившейся структуры путем добавления новых значений и переменных, относящихся к конструируемым типам;

определение абстрактных структур, моделирующих реальные объекты, и построение для этих структур подходящих представлений, обеспечиваю­щих осуществимость такого моделирования.

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

Можно заметить, что АТД в идеале полностью принадлежит нисходяще­му проектированию, а ООП пытается совместить нисходящее и восходящее.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама