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

В Информатика, функциональное программирование это парадигма программирования где программы построены применение и составление функции. Это декларативное программирование парадигма, в которой определения функций деревья из выражения что каждый возвращает ценить, а не последовательность императив заявления которые меняют государственный программы.

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

Функциональное программирование иногда рассматривается как синоним чисто функциональное программирование, подмножество функционального программирования, которое рассматривает все функции как детерминированный математический функции, или же чистые функции. Когда чистая функция вызывается с некоторыми заданными аргументами, она всегда будет возвращать один и тот же результат, и на нее не могут повлиять никакие изменяемые государственный или другой побочные эффекты. Это контрастирует с нечистым процедуры, распространены в императивное программирование, который может иметь побочные эффекты (например, изменение состояния программы или получение данных от пользователя). Сторонники чисто функционального программирования утверждают, что, ограничивая побочные эффекты, программы могут иметь меньше ошибки, быть проще отлаживать и тест, и быть более подходящим для формальная проверка.^[1][2]

Функциональное программирование уходит корнями в академия, развивающиеся из лямбда-исчисление, формальная система вычислений, основанная только на функциях. Функциональное программирование исторически было менее популярным, чем императивное программирование, но многие функциональные языки сегодня находят применение в промышленности и образовании, включая Common Lisp, Схема,^[3][4][5][6] Clojure, Язык Wolfram Language,^[7][8] Ракетка,^[9] Erlang,^[10][11][12] OCaml,^[13][14] Haskell,^[15][16] и F #.^[17][18] Функциональное программирование также является ключом к некоторым языкам, которые добились успеха в определенных областях, например р в статистике,^[19][20] J, K и Q в финансовом анализе и XQuery/XSLT за XML.^[21][22] Декларативные языки, зависящие от предметной области, например SQL и Лекс/Yacc использовать некоторые элементы функционального программирования, например, запретить изменяемые значения.^[23] Кроме того, многие другие языки программирования поддерживают программирование в функциональном стиле или имеют реализованные функции функционального программирования, такие как C ++ 11, Котлин,^[24] Perl,^[25] PHP,^[26] Python,^[27] Раку,^[28] и Scala.^[29]

История

В лямбда-исчисление, разработанная в 1930-е гг. Церковь Алонсо, это формальная система из вычисление построен из приложение функции. В 1937 г. Алан Тьюринг доказал, что лямбда-исчисление и Машины Тьюринга эквивалентные модели вычислений,^[30] показывающий, что лямбда-исчисление Тьюринг завершен. Лямбда-исчисление составляет основу всех языков функционального программирования. Эквивалентная теоретическая формулировка, комбинаторная логика, был разработан Моисей Шёнфинкель и Хаскелл Карри в 1920-1930-е гг.^[31]

Позднее Черч разработал более слабую систему, просто типизированное лямбда-исчисление, который расширил лямбда-исчисление, присвоив тип ко всем условиям.^[32] Это формирует основу для функционального программирования со статической типизацией.

Первый функциональный язык программирования, LISP, был разработан в конце 1950-х годов для IBM 700/7000 серии научных компьютеров Джон Маккарти в то время как в Массачусетский Институт Технологий (Массачусетский технологический институт).^[33] Функции LISP были определены с использованием лямбда-нотации Черча, расширенной конструкцией метки, позволяющей рекурсивный функции.^[34] Lisp первым представил многие парадигматические особенности функционального программирования, хотя ранние Lisp были мультипарадигмальные языки, и включил поддержку множества стилей программирования по мере развития новых парадигм. Более поздние диалекты, такие как Схема и Clojure, и ответвления, такие как Дилан и Юля, стремился упростить и рационализировать Лисп вокруг чисто функционального ядра, в то время как Common Lisp был разработан, чтобы сохранить и обновить парадигматические особенности многочисленных старых диалектов, которые он заменил.^[35]

Язык обработки информации (IPL), 1956, иногда упоминается как первый компьютерный язык функционального программирования.^[36] Это язык ассемблера для работы со списками символов. У него есть понятие генератор, который представляет собой функцию, которая принимает функцию в качестве аргумента, и, поскольку это язык уровня сборки, код может быть данными, поэтому IPL можно рассматривать как имеющую функции более высокого порядка. Тем не менее, он в значительной степени полагается на структуру изменяющегося списка и аналогичные императивные функции.

Кеннет Э. Айверсон развитый APL в начале 1960-х, описанный в его книге 1962 года Язык программирования (ISBN 9780471430148). APL оказал основное влияние на Джон Бэкусс FP. В начале 1990-х годов Айверсон и Роджер Хуэй созданный J. В середине 1990-х гг. Артур Уитни, который ранее работал с Айверсоном, создал K, который используется в коммерческих целях в финансовых отраслях вместе со своим потомком Q.

Джон Бэкус представлен FP в его 1977 Премия Тьюринга лекция "Можно ли освободить программирование от фон Нейман Стиль? Функциональный стиль и его алгебра программ ».^[37] Он определяет функциональные программы как построенные по иерархическому принципу посредством «комбинирования форм», которые позволяют создать «алгебру программ»; на современном языке это означает, что функциональные программы следуют принцип композиционности.^{[нужна цитата]} Статья Бэкуса популяризировала исследования функционального программирования, хотя и подчеркивала: программирование на функциональном уровне а не стиль лямбда-исчисления, который теперь ассоциируется с функциональным программированием.

Язык 1973 года ML был создан Робин Милнер на Эдинбургский университет, и Дэвид Тернер разработал язык SASL на Сент-Эндрюсский университет. Также в Эдинбурге в 1970-х годах Берстолл и Дарлингтон разработали функциональный язык НПЛ.^[38] NPL был основан на Рекурсивные уравнения Клини и был впервые представлен в их работе по преобразованию программ.^[39] Затем Берстолл, Маккуин и Саннелла включили полиморфную проверку типов из ML для создания языка Надеяться.^[40] Со временем ML превратился в несколько диалектов, наиболее распространенными из которых сейчас являются OCaml и Стандартный ML.

В 1970-е годы Гай Л. Стил и Джеральд Джей Сассман развитый Схема, как описано в Лямбда-бумаги и учебник 1985 г. Структура и интерпретация компьютерных программ. Схема была первым диалектом лиспа, который использовал лексическая область видимости и требовать оптимизация хвостового вызова, функции, способствующие функциональному программированию.

В 1980-х годах Пер Мартин-Лёф развитый интуиционистская теория типов (также называемый конструктивный теория типов), которая связала функциональные программы с конструктивные доказательства выражается как зависимые типы. Это привело к новым подходам к интерактивное доказательство теорем и повлиял на развитие последующих языков функционального программирования.^{[нужна цитата]}

Ленивый функциональный язык, Миранда, разработанный Дэвидом Тернером, впервые появился в 1985 году и оказал сильное влияние на Haskell. Поскольку Миранда была частной собственностью, Haskell начал с консенсуса в 1987 году, чтобы сформировать открытый стандарт для исследования функционального программирования; релизы реализации продолжаются с 1990 года.

Совсем недавно он нашел применение в таких нишах, как параметрическая CAD любезно предоставлено OpenSCAD язык, построенный на основе геометрии CSG, хотя его ограничение на переназначение значений (все значения рассматриваются как константы) привело к путанице среди пользователей, которые не знакомы с концепцией функционального программирования.^[41]

Функциональное программирование продолжает использоваться в коммерческих целях.^[42][43][44]

Концепции

Ряд концепций и парадигм специфичны для функционального программирования и обычно чужды императивное программирование (включая объектно-ориентированного программирования). Однако языки программирования часто обслуживают несколько парадигм программирования, поэтому программисты, использующие «в основном императивные» языки, могли использовать некоторые из этих концепций.^[45]

Функции первого и высшего порядка

Функции высшего порядка - это функции, которые могут либо принимать другие функции в качестве аргументов, либо возвращать их в качестве результатов. В исчислении примером функции высшего порядка является дифференциальный оператор ${displaystyle d / dx}$, который возвращает производная функции ${displaystyle f}$.

Функции высшего порядка тесно связаны с первоклассные функции в этом и функции высшего порядка, и функции первого класса допускают функции как аргументы и результаты других функций. Различие между ними тонкое: «высший порядок» описывает математическую концепцию функций, которые работают с другими функциями, в то время как «первоклассный» - это термин в информатике для сущностей языка программирования, которые не имеют ограничений на их использование (таким образом, первый -классовые функции могут появляться в любом месте программы, в отличие от других первоклассных сущностей, таких как числа, в том числе как аргументы для других функций и как их возвращаемые значения).

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

Чистые функции

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

• Если результат чистого выражения не используется, его можно удалить, не затрагивая другие выражения.
• Если чистая функция вызывается с аргументами, которые не вызывают побочных эффектов, результат будет постоянным по отношению к этому списку аргументов (иногда называемому ссылочная прозрачность), т.е. повторный вызов чистой функции с теми же аргументами возвращает тот же результат. (Это может включить оптимизацию кеширования, например мемоизация.)
• Если между двумя чистыми выражениями нет зависимости данных, их порядок может быть изменен на противоположный или они могут быть выполнены в параллельно и они не могут мешать друг другу (другими словами, оценка любого чистого выражения потокобезопасный).
• Если весь язык не допускает побочных эффектов, можно использовать любую стратегию оценки; это дает компилятору свободу переупорядочивать или комбинировать оценку выражений в программе (например, используя вырубка леса).

Хотя большинство компиляторов для императивных языков программирования обнаруживают чистые функции и выполняют исключение общих подвыражений для чистых вызовов функций, они не всегда могут делать это для предварительно скомпилированных библиотек, которые обычно не раскрывают эту информацию, тем самым предотвращая оптимизацию, включающую эти внешние функции. Некоторые компиляторы, например gcc, добавьте дополнительные ключевые слова для программиста, чтобы явно пометить внешние функции как чистые, чтобы включить такую ​​оптимизацию. Фортран 95 также позволяет назначать функции чистый.^[46] Добавлен C ++ 11 constexpr ключевое слово с похожей семантикой.

Рекурсия

Итерация (цикл) в функциональных языках обычно выполняется через рекурсия. Рекурсивные функции вызывают себя, позволяя операции повторяться, пока она не достигнет базовый вариант. В общем, рекурсия требует поддержки куча, который занимает пространство линейно в зависимости от глубины рекурсии. Это может сделать рекурсию слишком дорогой для использования вместо императивных циклов. Однако особая форма рекурсии, известная как хвостовая рекурсия может быть распознан и оптимизирован компилятором в тот же код, который используется для реализации итерации в императивных языках. Оптимизация хвостовой рекурсии может быть реализована путем преобразования программы в стиль прохождения продолжения во время компиляции, среди других подходов.

В Схема языковой стандарт требует, чтобы реализации поддерживали правильную хвостовую рекурсию, то есть они должны разрешать неограниченное количество активных хвостовых вызовов.^[47][48] Правильная хвостовая рекурсия - это не просто оптимизация; это языковая функция, которая гарантирует пользователям, что они могут использовать рекурсию для выражения цикла, и это будет безопасно для места.^[49] Более того, вопреки своему названию, он учитывает все хвостовые вызовы, а не только хвостовую рекурсию. Хотя правильная хвостовая рекурсия обычно реализуется путем превращения кода в императивные циклы, реализации могут реализовывать это другими способами. Например, КУРИЦА намеренно поддерживает стек и позволяет переполнение стека. Однако, когда это происходит, его уборщик мусора потребует место обратно,^[50] разрешает неограниченное количество активных хвостовых вызовов, даже если это не превращает хвостовую рекурсию в цикл.

Общие шаблоны рекурсии могут быть абстрагированы с помощью функций высшего порядка с катаморфизмы и анаморфизмы (или «складывается» и «разворачивается») - наиболее очевидные примеры. Такие схемы рекурсии играют роль, аналогичную встроенным структурам управления, таким как петли в императивные языки.

Большинство языков функционального программирования общего назначения допускают неограниченную рекурсию и являются Тьюринг завершен, что делает проблема остановки неразрешимый, может вызвать несостоятельность эквациональное рассуждение, и обычно требует введения непоследовательность в логику, выраженную языковыми система типов. Некоторые языки специального назначения, такие как Coq разрешить только обоснованный рекурсия и являются сильно нормализующий (неопределенные вычисления могут быть выражены только бесконечными потоками значений, называемыми кодата). Как следствие, эти языки не могут быть полными по Тьюрингу, и выражение в них определенных функций невозможно, но они по-прежнему могут выражать широкий класс интересных вычислений, избегая проблем, связанных с неограниченной рекурсией. Функциональное программирование, ограниченное хорошо обоснованной рекурсией с некоторыми другими ограничениями, называется полное функциональное программирование.^[51]

Строгая и нестрогая оценка

Функциональные языки можно классифицировать по тому, используют ли они строгий (нетерпеливый) или же нестрогий (ленивый) оценка, концепции, которые относятся к тому, как аргументы функции обрабатываются при оценке выражения. Техническая разница заключается в денотационная семантика выражений, содержащих ошибочные или расходящиеся вычисления. При строгой оценке оценка любого термина, содержащего неверный подтермин, не выполняется. Например, выражение:

длина печати ([2 + 1, 3 * 2, 1/0, 5-4])

не выполняется при строгой оценке из-за деления на ноль в третьем элементе списка. При ленивом вычислении функция длины возвращает значение 4 (т. Е. Количество элементов в списке), поскольку при ее вычислении не предпринимаются попытки оценить термины, составляющие список. Короче говоря, строгое вычисление всегда полностью оценивает аргументы функции перед вызовом функции. Ленивая оценка не оценивает аргументы функции, если их значения не требуются для оценки самого вызова функции.

Обычная стратегия реализации ленивого вычисления на функциональных языках: сокращение графика.^[52] Ленивое вычисление используется по умолчанию в нескольких чисто функциональных языках, включая Миранда, Чистый, и Haskell.

Хьюз 1984 выступает за ленивую оценку как механизм улучшения модульности программы за счет разделение проблем, упрощая независимую реализацию производителей и потребителей потоков данных.^[2] Launchbury 1993 описывает некоторые трудности, которые создает ленивая оценка, особенно при анализе требований к памяти программы, и предлагает операционная семантика чтобы помочь в таком анализе.^[53] Harper 2009 предлагает включать как строгую, так и ленивую оценку в один и тот же язык, используя систему типов языка, чтобы различать их.^[54]

Системы типов

Тем более что разработка Вывод типа Хиндли-Милнера в 1970-х годах функциональные языки программирования имели тенденцию использовать типизированное лямбда-исчисление, отклоняя все недействительные программы во время компиляции и рискуя ложноположительные ошибки, в отличие от нетипизированное лямбда-исчисление, который принимает все действующие программы во время компиляции и рискует ложноотрицательные ошибки, используемый в Лиспе и его вариантах (например, Схема), хотя они отклоняют все недопустимые программы во время выполнения, когда информации достаточно, чтобы не отклонять действительные программы. Использование алгебраические типы данных делает удобными манипуляции со сложными структурами данных; наличие строгой проверки типов во время компиляции делает программы более надежными в отсутствие других методов обеспечения надежности, таких как разработка через тестирование, пока вывод типа в большинстве случаев освобождает программиста от необходимости вручную объявлять типы компилятору.

Некоторые функциональные языки, ориентированные на исследования, такие как Coq, Агда, Cayenne, и Эпиграмма основаны на интуиционистская теория типов, что позволяет типам зависеть от условий. Такие типы называются зависимые типы. Эти системы типов не имеют разрешимого вывода типов, их трудно понять и использовать для программирования.^{[55][56][57][58]} Но зависимые типы могут выражать произвольные предложения в логика предикатов. Сквозь Изоморфизм Карри – Ховарда, то хорошо типизированные программы на этих языках становятся средством написания формальных математические доказательства из которого компилятор может генерировать сертифицированный код. Хотя эти языки в основном представляют интерес для академических исследований (в том числе в формализованная математика), их начали использовать и в технике. Compcert это компилятор для подмножества Язык программирования C который написан на Coq и официально проверен.^[59]

Ограниченная форма зависимых типов, называемая обобщенные алгебраические типы данных (GADT) могут быть реализованы таким образом, чтобы обеспечить некоторые преимущества программирования с зависимой типизацией, избегая при этом большей части его неудобств.^[60] GADT доступны в Компилятор Glasgow Haskell, в OCaml (начиная с версии 4.00) и в Scala (как «case-классы») и были предложены в качестве дополнения к другим языкам, включая Java и C #.^[61]

Ссылочная прозрачность

Функциональные программы не имеют операторов присваивания, то есть значение переменной в функциональной программе никогда не изменяется после определения. Это исключает возможность возникновения побочных эффектов, поскольку любую переменную можно заменить ее фактическим значением в любой момент выполнения. Итак, функциональные программы ссылочно прозрачны.^[62]

Учитывать C оператор присваивания х = х * 10, это изменяет значение, присвоенное переменной Икс. Допустим, что начальное значение Икс был 1, затем два последовательных вычисления переменной Икс дает 10 и 100 соответственно. Понятно, что замена х = х * 10 либо с 10 или же 100 придает программе другой смысл, поэтому выражение не является ссылочно прозрачный. Фактически, операторы присваивания никогда не бывают прозрачными по ссылкам.

Теперь рассмотрим другую функцию, например int плюс один(int Икс) {возвращаться Икс+1;} является прозрачным, поскольку он неявно изменяет вход x и, следовательно, не имеет такого побочные эффекты.Функциональные программы используют исключительно этот тип функций и поэтому являются ссылочно прозрачными.

Структуры данных

Чисто функциональный структуры данных часто представлены иначе, чем их императив аналоги.^[63] Например, множество с постоянным временем доступа и обновления является основным компонентом большинства императивных языков и многих императивных структур данных, таких как хеш-таблица и двоичная куча, основаны на массивах. Массивы можно заменить на карты или списки произвольного доступа, допускающие чисто функциональную реализацию, но имеющие логарифмический время доступа и обновления. Чисто функциональные структуры данных имеют упорство, свойство сохранять предыдущие версии структуры данных неизменными. В Clojure постоянные структуры данных используются в качестве функциональной альтернативы своим императивным аналогам. Например, постоянные векторы используют деревья для частичного обновления. Вызов метода вставки приведет к созданию некоторых, но не всех узлов.^[64]

Сравнение с императивным программированием

Функциональное программирование сильно отличается от императивное программирование. Наиболее существенные различия связаны с тем, что функциональное программирование избегает побочные эффекты, которые используются в императивном программировании для реализации состояния и ввода-вывода. Чистое функциональное программирование полностью предотвращает побочные эффекты и обеспечивает ссылочную прозрачность.

Функции высшего порядка редко используются в прежнем императивном программировании. Традиционная императивная программа может использовать цикл для обхода и изменения списка. С другой стороны, функциональная программа, вероятно, будет использовать функцию «карты» более высокого порядка, которая принимает функцию и список, генерирует и возвращает новый список, применяя функцию к каждому элементу списка.

Параллельное сравнение императивного и функционального программирования

Следующие два примера (написанных на JavaScript) достигают того же эффекта: они умножают все четные числа в массиве на 10 и складывают их все, сохраняя окончательную сумму в переменной «результат».

Традиционный императивный цикл:

const numList = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10];позволять результат = 0;за (позволять я = 0; я < numList.длина; я++) {  если (numList[я] % 2 === 0) {    результат += numList[я] * 10;  }}

Функциональное программирование с функциями высшего порядка:

const результат = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]               .фильтр(п => п % 2 === 0)               .карта(а => а * 10)               .уменьшать((а, б) => а + б);

Моделирование состояния

Есть задачи (например, поддержание баланса банковского счета), которые часто кажутся наиболее естественными для выполнения с помощью состояния. Чистое функциональное программирование выполняет эти задачи, а задачи ввода-вывода, такие как прием пользовательского ввода и вывод на экран, - по-другому.

Чистый функциональный язык программирования Haskell реализует их, используя монады, происходит от теория категорий. Монады предлагают способ абстрагироваться от определенных типов вычислительных паттернов, включая (но не ограничиваясь) моделирование вычислений с изменяемым состоянием (и другими побочными эффектами, такими как ввод-вывод) в императивном порядке без потери чистоты. Хотя существующие монады можно легко применить в программе, учитывая соответствующие шаблоны и примеры, многие студенты находят их трудными для концептуального понимания, например, когда их просят определить новые монады (что иногда необходимо для определенных типов библиотек).^[65]

Функциональные языки также моделируют состояния, передавая неизменяемые состояния. Это можно сделать, заставив функцию принимать состояние как один из своих параметров и возвращать новое состояние вместе с результатом, оставляя старое состояние неизменным.^[66]

Нечистые функциональные языки обычно включают более прямой метод управления изменяемым состоянием. Clojure, например, использует управляемые ссылки, которые могут быть обновлены путем применения чистых функций к текущему состоянию. Такой подход обеспечивает изменчивость, но при этом способствует использованию чистых функций как предпочтительного способа выражения вычислений.^{[нужна цитата]}

Альтернативные методы, такие как Логика Хоара и уникальность были разработаны для отслеживания побочных эффектов в программах. Некоторые современные исследовательские языки используют системы эффектов чтобы сделать наличие побочных эффектов явным.^{[нужна цитата]}

Вопросы эффективности

Функциональные языки программирования обычно менее эффективно используют ЦПУ и память, чем императивные языки, такие как C и Паскаль.^[67] Это связано с тем, что некоторые изменяемые структуры данных, такие как массивы, имеют очень простую реализацию с использованием существующего оборудования. Доступ к плоским массивам может быть очень эффективным с помощью ЦП с глубоким конвейером, предварительно загруженных через кеши (без сложных погоня за указателем) или обрабатывается с помощью инструкций SIMD. Также непросто создать их не менее эффективные неизменяемые аналоги общего назначения. Для чисто функциональных языков в наихудшем случае замедление является логарифмическим по количеству используемых ячеек памяти, поскольку изменяемая память может быть представлена ​​чисто функциональной структурой данных с логарифмическим временем доступа (например, сбалансированным деревом).^[68] Однако такие замедления не универсальны. Для программ, выполняющих интенсивные численные вычисления, функциональные языки, такие как OCaml и Чистый лишь немного медленнее, чем C согласно Игра "Тесты компьютерного языка".^[69] Для программ, обрабатывающих большие матрицы и многомерный базы данных, множество функциональные языки (такие как J и K) были разработаны с оптимизацией скорости.

Неизменяемость данных во многих случаях может привести к эффективности выполнения, позволяя компилятору делать предположения, которые небезопасны для императивного языка, тем самым увеличивая возможности для встроенное расширение.^[70]

Ленивая оценка может также ускорить программу, даже асимптотически, в то время как он может замедлить ее не более чем на постоянный коэффициент (однако он может ввести утечки памяти при неправильном использовании). Лаанчбери 1993^[53] обсуждает теоретические вопросы, связанные с утечками памяти из-за ленивых вычислений, а О'Салливан и другие. 2008^[71] дадут несколько практических советов по их анализу и исправлению. Однако наиболее общие реализации ленивого вычисления, широко использующие разыменованный код и данные, плохо работают на современных процессорах с глубокими конвейерами и многоуровневыми кэшами (где промах в кэше может стоить сотни циклов )^{[нужна цитата]}.

Функциональное программирование на нефункциональных языках

Можно использовать функциональный стиль программирования на языках, которые традиционно не считаются функциональными языками.^[72] Например, оба D^[73] и Фортран 95^[46] явно поддерживают чистые функции.

JavaScript, Lua^[74] и Python имел функции первого класса с момента их создания.^[75] Python поддерживает "лямбда", "карта", "уменьшать", и "фильтр"в 1994 году, а также закрытия в Python 2.2,^[76] хотя Python 3 отнес "сокращение" к functools стандартный библиотечный модуль.^[77] Первоклассные функции были введены в другие основные языки, такие как PHP 5.3, Visual Basic 9, C # 3.0, C ++ 11, и Котлин.^{[24][нужна цитата]}

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

В Ява, анонимные классы иногда можно использовать для моделирования закрытие;^[78] однако анонимные классы не всегда являются подходящей заменой закрытие потому что у них более ограниченные возможности.^[79] Java 8 поддерживает лямбда-выражения в качестве замены некоторых анонимных классов.^[80]

В C #, анонимные классы не нужны, потому что закрытие и лямбды полностью поддерживаются. Библиотеки и языковые расширения для неизменяемых структур данных разрабатываются, чтобы помочь программированию в функциональном стиле на C #.

Много объектно-ориентированный шаблоны проектирования выражаются в терминах функционального программирования: например, шаблон стратегии просто диктует использование функции высшего порядка, а посетитель узор примерно соответствует катаморфизм, или же складывать.

Точно так же идея неизменяемых данных из функционального программирования часто включается в императивные языки программирования,^[81] например кортеж в Python, который является неизменяемым массивом.

Приложения

Академия

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

Промышленность

Функциональное программирование нашло применение в самых разных промышленных приложениях. Например, Erlang, который был разработан Шведский Компания Ericsson в конце 1980-х годов изначально использовался для реализации отказоустойчивой телекоммуникации системы,^[11] но с тех пор стал популярным для создания ряда приложений в таких компаниях, как Nortel, Facebook, Électricité de France и WhatsApp.^{[10][12][82][83][84]} Схема, диалект Лисп, был использован в качестве основы для нескольких приложений на ранних Apple Macintosh компьютеры,^[3][4] и был применен к таким задачам, как обучение программное обеспечение для моделирования^[5] и телескоп контроль.^[6] OCaml, который был представлен в середине 1990-х годов, нашел коммерческое использование в таких областях, как финансовый анализ,^[13] Водитель проверка, промышленная робот программирование и статический анализ встроенное программное обеспечение.^[14] Haskellхотя изначально задумывался как исследовательский язык,^[16] также применяется рядом компаний в таких областях, как аэрокосмические системы, проектирование оборудования и веб-программирование.^[15][16]

Другие языки функционального программирования, которые нашли применение в промышленности, включают: Scala,^[85] F #,^[17][18] Язык Wolfram Language,^[7] Лисп,^[86] Стандартный ML,^[87][88] и Clojure.^[89]

Функциональные «платформы» были популярны в финансах для анализа рисков (особенно в крупных инвестиционных банках). Факторы риска кодируются как функции, которые образуют взаимозависимые графики (категории) для измерения корреляций в рыночных сдвигах, мало чем отличающиеся от Основа Грёбнера оптимизации, но также для соблюдения нормативных требований, таких как Комплексный анализ и обзор капитала. Учитывая использование OCAML или же CAML вариации в финансах, эти системы иногда считаются связанными с категориальная абстрактная машина или CAM. Действительно, функциональное программирование находится под сильным влиянием теория категорий.

Образование

Много университеты преподают или преподавали функциональное программирование в рамках своих студент Степени информатики.^{[90][91][92][93]} Некоторые используют это как введение в программирование,^[93] в то время как другие преподают его после обучения императивному программированию.^[92][94]

Помимо информатики, функциональное программирование используется как метод обучения решению задач, алгебре и геометрическим понятиям.^[95]Он также использовался в качестве инструмента для обучения классической механике в Структура и интерпретация классической механики.

Смотрите также

• Чисто функциональное программирование
• Сравнение парадигм программирования
• Жадная оценка
• Список тем функционального программирования
• Вложенная функция
• Индуктивное функциональное программирование
• Функциональное реактивное программирование

Рекомендации

дальнейшее чтение

• Абельсон, Хэл; Сассман, Джеральд Джей (1985). Структура и интерпретация компьютерных программ. MIT Press.
• Кузино, Гай и Мишель Мони. Функциональный подход к программированию. Кембридж, Великобритания: Издательство Кембриджского университета, 1998.
• Карри, Хаскелл Брукс и Фейс, Роберт и Крейг, Уильям. Комбинаторная логика. Том I. Издательство Северной Голландии, Амстердам, 1958.
• Карри, Хаскелл Б.; Хиндли, Дж. Роджер; Селдин, Джонатан П. (1972). Комбинаторная логика. Vol. II. Амстердам: Северная Голландия. ISBN 978-0-7204-2208-5.
• Доминус, Марк Джейсон. Perl высшего порядка. Морган Кауфманн. 2005.
• Фелляйзен, Матиас; Финдлер, Роберт; Флэтт, Мэтью; Кришнамурти, Шрирам (2001). Как разрабатывать программы. MIT Press.
• Грэм, Пол. Общий LISP ANSI. Энглвуд Клиффс, Нью-Джерси: Prentice Hall, 1996.
• МакЛеннан, Брюс Дж. Функциональное программирование: практика и теория. Аддисон-Уэсли, 1990.
• О'Салливан, Брайан; Стюарт, Дон; Герцен, Джон (2008). Реальный мир Haskell. О'Рейли.
• Пратт, Терренс, В. и Марвин В. Зельковиц. Языки программирования: разработка и реализация. 3-е изд. Энглвуд Клиффс, Нью-Джерси: Prentice Hall, 1996.
• Салус, Питер Х. Функциональные и логические языки программирования. Vol. 4 Справочника по языкам программирования. Индианаполис, Индиана: Macmillan Technical Publishing, 1998.
• Томпсон, Саймон. Haskell: искусство функционального программирования. Харлоу, Англия: Эддисон-Уэсли Лонгман Лимитед, 1996.

внешняя ссылка

Послушайте эту статью

Этот аудиофайл был создан на основе редакции этой статьи от 25 августа 2011 г. и не отражает последующих правок.

(

• Аудио помощь
• Больше устных статей

)

• Форд, Нил (29 января 2012 г.). «Функциональное мышление: почему растет популярность функционального программирования». Получено 2013-02-24.
• Ахмечет, Слава (19.06.2006). «defmacro - Функциональное программирование для всех нас». Получено 2013-02-24. Введение
• Функциональное программирование на Python (Дэвид Мертц): часть 1, часть 2, часть 3