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

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

В качестве основных свойств функциональных языков программирования обычно рассматриваются следующие:

• краткость и простота;
• строгая типизация;
• модульность;
• функции — объекты вычисления;
• чистота (отсутствие побочных эффектов);
• отложенные (ленивые) вычисления.

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

• Лисп
• Haskell
• Clean
• ML
  • OCaml
  • F#
• Flang
• Erlang
• Miranda