Cтраница 1
Функции более высокого порядка открывают новые возможности для программистов, позволяя сложные вычисления записывать более коротко. [1]
Функции более высокого порядка тесно связаны с абстрактными понятиями и отображениями. Теоретическое и практическое владение ими предполагает умение учитывать типы функций, т.е. учитывать типы принимаемых ими аргументов и возвращаемых ими значений. [2]
Значение и влияние функций более высокого порядка на программирование состоит в том, что они открывают новые возможности в обобщении и прояснении отображения вычислений. [3]
Программирование с помощью функций более высокого порядка никак нельзя назвать простым, и его обширное использование затрудняет понимание программ, хотя они от этого и становятся короче. Определения формируются абстрактно, и на их основе не просто увидеть, сколько аргументов и каких типов передаются между функциями разного порядка. [4]
Когда речь шла о функциях более высокого порядка, мы рассматривали автоаппликатив-ные и авторепликативные функционалы как функции, которые получают или возвращают в качестве результата самих себя или точнее копии самих себя. Конечно не очевидно, что такие функции вообще существуют. Однако никаких принципиальных препятствий для их существования и определения не существует. В Лиспе их можно определить и использовать довольно просто. [5]
Без труда производится обобщение на импульсивные функции более высокого порядка. [6]
Последовательность функций (10.1) характеризуется тем, что функции более высокого порядка ( при увеличении числа п) не повторяют сведений, содержащихся в функциях более низкого порядка, а привносят новую дополнительную информацию о рассматриваемом процессе. При п - 1 получаем среднее значение случайного процесса ( х ( t)), которое в дальнейшем ( кроме тех случаев, где это будет указано особо) примем равным нулю. [7]
Тем самым оправдывается пренебрежение членами в А, содержащими шаровые функции более высокого порядка. [8]
Аргументами функций были данные, выражения, значением которых являются данные или, как в случае функций более высокого порядка, другие функции. [9]
Для функций более высокого порядка он может быть обобщен в рамках типизированного лямбда-исчисления ( см. [17]), и в следующем разделе мы будем использовать основы этого подхода при рассмотрении вопросов, связанных с доказательством надежности. [10]
Подводя итоги, рассмотрим еще типы различных функций с функциональным значением. Понятие типа является центральным в теории функций более высокого порядка и создает предпосылки для их использования в практическом программировании. [11]
Сравнение полученной функции с передаточной функцией ( 9 - 39), представляющей собой гладкую аппроксимацию функции времени замедления, показывает, что они идентичны. Естественно возникает вопрос о справедливости подобной аппроксимации функцией более высокого порядка. [12]
Причины тому были частично исторические, частично технические. Теория типов данных к контекста вычислений, связанная с функциями более высокого порядка, не была известна в то время, когда создавался Лисп, н поэтому способы реализации по необходимости определились на основе технических и интуитивных представлений. Присущие ранним Лисп-системам решения и их влияние отражаются в современной Лисп-культуре, в том числе в виде различающихся и доведенных до различных степеней реализаций функционалов и функций с функциональным значением. Они, несомненно, будут прослеживаться и в будущих системах, хотя многие проблемы уже удалось решить теоретически. В новых Лисп-системах ( например, Коммон Лисп и NIL) проблема с окружением решена или по крайней мере прояснена, но, например, функционалы не реализованы в их наиболее общем виде. [13]
Запас целесообразных автоматизмов позволяет выполнять одновременно различные действия, освобождая сознание для осуществления контроля за функциями более высокого порядка. [14]
Вместе с тем продвижение по службе, как правило, положительно влияет на морально-психологическое состояние работника, способствует укреплению его репутации и чувства собственного достоинства. Особо нужно отметить то обстоятельство, что посредством целенаправленного и последовательного перемещения по специально выбранной группе должностей руководитель постепенно готовится к исполнению в последующем функций более высокого порядка. [15]