Cтраница 1
Функциональное программирование можно понимать как способ составления программ, в которых единственным действием является вызов функции, способом расчленения программы на части - введение имени для функции и задание от этого имени выражения, вычисляющего значение функции, а единственным правилом композиции - оператор суперпозиции функций. [1]
Функциональное программирование не использует концепцию памяти как хранилища значений переменных. Операторы присваивания отсутствуют, вследствие чего переменные обозначают не области памяти, а объекты программы, что полностью соответствует понятию переменной в математике. [2]
Язык функционального программирования оперирует символами, используя основные примитивные функции. Такие языки успешно применяются для создания экспертных систем, моделирования общесмысловых рассуждений, построения естественных языковых интерфейсов и поддерживают исследования в области компьютерной речи и изображений. [3]
Язык функционального программирования, функциональный язык [ functional language ] - декларативный язык программирования, основанный на понятии функций, которые задают зависимость, но не определяют порядок вычислений. [4]
В функциональном программировании переменные таким образом не используются. [5]
В разделе Функциональное программирование - это очень просто описываются конструкции неожиданного для школьников ( принципиально нового для большинства из них) языка функционального программирования PROLAN / F, придуманного автором для этой задачи. Неожиданность языка - в отсутствии в нем таких привычных объектов, как переменные, циклы. Читателю предлагается дать на этом языке программы для решения нескольких задач, после чего приводятся их авторские решения. Полезность рассмотрения языка связана как с демонстрацией того, что могут быть разные принципы построения информационных моделей, так и в том, что функциональный подход получил большое развитие в широко распространяющемся языке Пролог. [6]
Логическое либо функциональное программирование, при котором описывается не процедура вычислений, а сама решаемая задача, г. с. [7]
Это система функционального программирования, предложенная в 1978 г. Дж. Бе-кусом [74], отличается от языков ЛИСП и РЕФАЛ использованием одноаргументных функций и широким применением функциональных форм, что позволяет при записи функциональных программ полностью отказаться от переменных. [8]
Лнсповские формы и функциональное программирование очень хорошо поддерживают модульное и структурное программирование так же, как и пошаговый способ разработки лисповских программ. Функция в чистом виде является самостоятель-ным программным модулем. У нее нет побочно-го эффекта, и ее интерфейс точно определен посредством аргументов и возвращаемого значения. [9]
Описывается класс систем неформального функционального программирования ( ФП) без использования переменных. Каждая система строится из объектов, функций, функ-диональных форм и определений. Функции отображают объекты на объекты. Функциональные формы комбинируют существующие функции для формирования новых. В этом разделе перечисляются примеры примитивных функций и функциональных форм и приводятся примеры программ. Обсуждаются ограничения и преимущества систем ФП. [10]
Используемое в Лиспе так называемое функциональное программирование ( functional programming) основывается на той простой идее, что в результате каждого действия возникает значение. Значения становятся аргументами следующих действий, и конечный результат всей задачи выдается пользователю. [11]
Как и в других языках функционального программирования, функция / ЕФ может быть примитивной или составной. [12]
МФП является аббревиатурой термина машина функционального программирования. Абстрактная МФП-машина основана на использовании стеков и может рассматриваться как оптимизированный вариант SECD-машины. Исходная программа транслируется в FC-форму путем удаления сопоставления с образцом ( см. гл. [13]
В главе, посвященной технике функционального программирования, мы попробуем показать, что программирование с помощью рекурсии и условного предложения вполне осуществимо и разумно. [14]
В этом разделе описываются системы формального функционального программирования, которые обобщают и уточняют поведение систем ФП. [15]