Функционалы (функции высшего порядка). Классификация функционалов

   
На этом шаге мы приведем классификацию функционалов.

Определение [1].

  • (1) Аппликативными (применяющими) функционалами называют функции, которые позволяют вызывать другие функции.   
    Другими словами, аппликативные функционалы применяют функциональный аргумент к своим формальным параметрам.
  • (2) Отображающие функционалы (MAP-функции) - это функции, которые отображают исходный список в новый список или порождают побочный эффект, связанный с исходным списком.
  • (3) Объединяющие функционалы - это функции, которые объединяют соответствующие элементы двух или более списков-аргументов в соответствии с заданной функцией, которая также является формальным параметром функционала.
  • (4) Функционалы планирования функций - это предикаты, которые осуществляют выполнение предикатов над элементами одного или нескольких списков до тех пор, пока не будет выполнен заданный "критерий окончания" или какой-либо из списков-аргументов не закончится.   
    Критерий окончания основывается на истинном значении, возвращаемом тестовой функцией.

(1)Хювенен Э., Сеппянен Й. Мир Лиспа. В 2-х т. Т.1: Введение в язык Лисп и функциональное программирование. - М.: Мир, 1990. - 447 с.

   
Со следующего шага мы начнем рассматривать функционалы из библиотеки Prelude.



Вы можете оставить комментарий, или Трекбэк с вашего сайта.

Оставить комментарий