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

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

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

Внимание! Простое комбинирование двух реализаций чаще всего при­водит к потере их достоинств при бурном расцвете недостатков.

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

Программирование от состояний;

Структурное программирование;

Сентенциальное программирование;

Программирование от событий;

Программирование от процессов и приоритетов;

Функциональное программирование;

Объектноориентированное программирование;

Программирование от переиспользования;

Программирование от шаблонов.

Это перечисление не претендует на теоретическую полноту и даже на пол­ную обоснованность. Здесь мы стремимся сосредоточиться на классифика­ции методов и отвлечься от конкретных частностей выражения (например, если главное в данном стиле программирования — условия, для нас все равно, на каком они языке задаются, логическом или другом).

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама