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

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

Таким образом, условие выхода из цикла неявно: это ложность всех охран. Заметим, что Дейкстра противоречит сам себе в определении цикла и условного оператора. В условном операторе он резко выступал против умолчаний и на этом основании отвергал часть else. В операторе цикла он же существеннейшим образом использовал умолчание как критерий завер­шения цикла. Если уж явно выписывать условия, то все существенные. Аль­тернатива возможна лишь для вылавливания непредусмотренных случаев, возможно, вызванных неправильным использованием программы. Поэтому предлагается следующий вариант цикла (цикл'паук'), в котором условия за­вершения также перечислены явно и есть альтернативное завершение else, например, для сообщения об ошибке.

В отличие от традиционного цикла, логические корни цикла Дейкстры и циклапаука находятся в таких логиках, которые противоречат классиче­ской, например в нильпотентных логиках. Эти формы циклов естественно сопрягаются с программированием от состояний, а при структурном про­граммировании они нужны лишь для действий, которые трудно сводятся к потокам.

7.3.3. Совместный цикл

Какую дисциплину выполнения цикла не отражает ни циклfor,ни другие виды циклов в языке Сив других языках традиционного типа? Нет цикла, итерации которого выполнялись бы независимо от того, в каком порядке

появляются значения параметра цикла. Иными словами, хотелось бы иметь в языке конструкцию

для всех <параметр цикла> из <множество значений параметра><оператор>

Смысл цикла, о котором идет речь, в том, что <оператор> выполняет­ся при всех значениях из указываемого множества в произвольном порядке, т. е. совместно. Такая конструкция была введена, в частности, в язык,создававшийся как один из наиболее хорошо продуманных проектов языка прототипирования весьма высокого уровня. Она оказалась полезна, по край­ней мере, в двух отношениях:

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

Летающие &quot;Крокодилы&quot;

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

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

24.01.2016

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

Реклама