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

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

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

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

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

Предыдущий шаг Содержание Следующий шаг