Дэвид Флэнаган - JavaScript. Подробное руководство, 6-е издание

}

var square = function(x) { return x*x; };

var sum = function(x,y) { return x+y; };

var squareofsum = compose(square, sum);

squareofsum(2,3) // => 25

Функции partial() и memoize(), которые определяются в следующем разделе, представляют собой еще две важные функции высшего порядка.

Метод bind() функции f (раздел 8.7.4) возвращает новую функцию, которая вызывает f в указанном контексте и с заданным набором аргументов. Можно сказать, что он связывает функцию с объектом контекста и частично применяет аргументы. Метод bind() применяет аргументы слева, т.е. аргументы, которые передаются методу bind(), помещаются в начало списка аргументов, передаваемых оригинальной функции. Однако есть возможность частичного применения аргументов справа:

// Вспомогательная функция преобразования объекта (или его части),

// подобного массиву, в настоящий массив. Используется ниже

// для преобразования объекта arguments в настоящий массив,

function array(a, n) { return Array.prototype.slice.call(a, n || 0); }

// Аргументы этой функции помещаются в начало списка

function partialLeft(f /*, ...*/) {

var args = arguments; // Сохранить внешний массив аргументов

return function() { // И вернуть эту функцию

var а = array(args, 1); // Начиная с элемента 1 во внеш. масс,

а = a.concat(array(arguments)); // Добавить внутренний массив аргум.

return f.apply(this, а); // Вызвать f с этим списком аргументов

};

}

// Аргументы этой функции помещаются в конец списка

function partialRight(f /*, ...*/) {

var args = arguments; // Сохранить внешний массив аргументов

return function() { // И вернуть эту функцию

var а = array(arguments); // Начинать с внутр. масс, аргументов

а = a.concat(array(args,1)); // Добавить внешние арг., начиная с 1.

return f.apply(this, а); // Вызвать f с этим списком аргументов

};

}

// Аргументы этой функции играют роль шаблона. Неопределенные значения

// в списке аргументов заполняются значениями из внутреннего набора,

function partial(f /*, ... */) {

var args = arguments; // Сохранить внешний массив аргументов

return function() {

var a = array(args, 1); // Начинать с внешнего массива аргументов

var i=0, j=0;

// Цикл по этим аргументам, заменить значения undefined значениями

// из внутреннего списка аргументов

for(; і < a.length; i++)

if (a[i] === undefined) a[i] = arguments[j++];

// Добавить оставшиеся внутренние аргументы в конец списка

а = a.concat(array(arguments, j))

return f.apply(this, a);

};

}

// Ниже приводится функция, принимающая три аргумента

var f = function(x,y,z) { return x * (у - z); };

// Обратите внимание на отличия между следующими тремя частичными применениями

partialLeft(f, 2)(3,4) // => -2: Свяжет первый аргумент: 2 * (3 - 4)

partialRight(f, 2)(3,4) // => 6: Свяжет последний аргумент: 3 * (4 - 2)

partial(f, undefined, 2)(3,4) // => -6: Свяжет средний аргумент: 3 * (2 - 4)

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

var increment = partialLeft(sum, 1);

var cuberoot = partialRight(Math.pow, 1/3);

String.prototype.first = partial(String.prototype.charAt, 0);

String.prototype.last = partial(String.prototype.substr, -1, 1);

Прием частичного применения становится еще более интересным, когда он используется в комбинации с функциями высшего порядка. Например, ниже демонстрируется еще один способ определения функции not() , представленной выше, за счет совместного использования приемов композиции и частичного применения:

var not = partialLeft(compose, function(x) { return !x; });

var even = function(x) { return x % 2 === 0; };

var odd = not(even);

var isNumber = not(isNaN)

Прием композиции и частичного применения можно также использовать для вычисления среднего значения и стандартного отклонения в крайне функциональном стиле:

var data = [1,1.З,5,5]; // Исходные данные

var sum = function(x.y) { return x+y; }; // Две элементарные функции

var product = function(x,у) { return x*y; };

var neg = partial(product, -1); // Определения других функций

var square = partial(Math.pow, undefined, 2);

var sqrt = partial(Math.pow, undefined, .5);

var reciprocal = partial(Math.pow, undefined, -1);

// Вычислить среднее и стандартное отклонение. Далее используются только функции

// без каких либо операторов, отчего программный код начинает напоминать

// программный код на языке Lisp!

var mean = product(reduce(data, sum), reciprocal(data.length));

var stddev = sqrt(product(reduce(map(data, compose(square,

partial(sum, neg(mean)))), sum),

reciprocal(sum(data.length,-1))));

В разделе 8.4.1 была определена функция нахождения факториала, которая сохраняет ранее вычисленные результаты. В функциональном программировании такого рода кэширование называется мемоизацией (memorization). В следующем примере демонстрируется функция memoize() высшего порядка, которая принимает функцию в виде аргумента и возвращает ее мемоизованную версию:

// Возвращает мемоизованную версию функции f. Работает, только если все возможные

// аргументы f имеют отличающиеся строковые представления,

function memoize(f) {

var cache = {}; // Кэш значений сохраняется в замыкании,

return function() {

// Создать строковую версию массива arguments для использования

// в качестве ключа кэша.

var key = arguments.length + Array.prototype.join.call(arguments,",")

if (key in cache) return cache[key];

else return cache[key] = f.apply(this, arguments);

};

}

Функция memoize() создает новый объект для использования в качестве кэша и присваивает его локальной переменной, благодаря чему он остается доступным (через замыкание) только для возвращаемой функции. Возвращаемая функция преобразует свой массив arguments в строку и использует ее как имя свойства объекта-кэша. Если значение присутствует в кэше, оно просто возвращается в качестве результата. В противном случае вызывается оригинальная функция, вычисляющая значение для заданной комбинации значений аргументов; полученное значение помещается в кэш и возвращается. Следующий фрагмент демонстрирует, как можно использовать функцию memoize():