Выбрать главу

    return f.call(this, g.apply(this, arguments));

  };

}

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(), которые определяются в следующем разделе, представляют собой еще две важные функции высшего порядка.

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(), представленной выше, за счет совместного использования приемов композиции и частичного применения:

полную версию книги