Что такое функциональное программирование?

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

Как отмечает Дэвид Мертц (David Mertz) в своей статье о функциональном программировании на Python, «функциональное программирование — программирование на функциональных языках (LISP, ML, OCAML, Haskell, …)», основными атрибутами которых являются:

• «Наличие функций первого класса (функции наравне с другими объектами можно передавать внутрь функций).

• Рекурсия является основной управляющей структурой в программе.

• Обработка списков (последовательностей).

• Запрещение побочных эффектов у функций, что в первую очередь означает отсутствие присваивания (в «чистых» функциональных языках)

• Запрещение операторов, основной упор делается на выражения. Вместо операторов вся программа в идеале — одно выражение с сопутствующими определениями.

• Ключевой вопрос: что нужно вычислить, а не как.

• Использование функций более высоких порядков (функции над функциями над функциями)».