8.8.3. Частичное применение функций

Метод 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))));