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

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

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

А в случае реально распределенных или реально параллельных действий проблема приоритетов еще важнее и еще сложнее. Часто управление по приоритетам — единственный шанс справиться со сложностью такой нели­нейной во времени системы. Тут уже и линейно упорядоченного множества приоритетов не хватает.

В целом программирование от приоритетов является мощным, но спе­цифическим орудием для описания глобальных совместных, параллельных или распределенных процессов. Его элементы проникают и в традиционные системы программирования в виде обработки исключительных ситуаций в программах. Здесь, как и в событийном программировании с обособлен­ными реакциями, всего два приоритета, которые налагаются на структуру использующей конструкции. Противоречивость этого средства со структур­ным программированием только в том, что не всегда ясно, что делается далее, когда обработка исключения завершается. В сравнении со структур­ными переходами такое расширение представляется более искусственным.

§ 3.7. ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ

При функциональном программировании основным понятием является функция. Мы интересуемся определением и переопределением функции как целого. Соответственно, тогда сами функции становятся значениями. По­этому здесь необходим серьезный теоретический анализ. Нужно разобрать, какие действия мы можем производить над функцией как над единым объ­ектом, какие мы можем получить от этого преимущества и в каких случаях целесообразно так работать, а в каких — нет.

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама