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

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

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

Любое расширение указанного нами минимального множества операций над функциями с большой вероятностью ведет в ту же пропасть неэффек­тивности.

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

Это теоретическое рассмотрение в совокупности с другими, подобны­ми ему, приводит к выводу: функциональное программирование и циклы концептуально противоречат друг другу.

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

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама