Объектно-ориентированное программирование на языке С++. Лясин Д.Н - 6 стр.

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


    Программа, разработанная с использованием функционального (апплика-
тивного) стиля, состоит из совокупности определений функций. Функции, в
свою очередь, представляют собой вызовы других функций и предложений,
управляющих последовательностью вызовов. Вычисления начинаются с вызо-
ва некоторой функции, которая в свою очередь вызывает функции, входящие в
ее определение и т. д. в соответствии с иерархией определений и структурой
условных предложений. Функции часто либо прямо, либо опосредованно вы-
зывают сами себя.
    Каждый вызов возвращает некоторое значение в вызвавшую его функ-
цию, вычисление которой после этого продолжается; этот процесс повторяет-
ся до тех пор, пока запустившая вычисления функция не вернет конечный ре-
зультат пользователю.
    "Чистое" функциональное программирование не признает присваиваний
и передач управления. Разветвление вычислений основано на механизме обра-
ботки аргументов условного предложения. Повторные вычисления осуществ-
ляются через рекурсию, являющуюся основным средством функционального
программирования
    Первый функциональный язык программирования (Лисп) был разработан
американским ученым Дж. Маккарти (J. McCarthy) в 1958-1961 гг. на основе
алгебры списочных структур, лямбда-исчисления и теории рекурсивных
функций. К настоящему времени созданы такие функциональные языки про-
граммирования как Scheme, Рефал, Haskell, Sisal.




                                        6