JavaScript. Подробное руководство, 6-е издание, стр. 105

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

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

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

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);

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

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

// программный код на языке 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.8.4. Мемоизация

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

memoize()

высшего порядка, которая принимает функцию в виде аргумента и возвращает ее мемоизованную версию:

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

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

function memoize(f) {

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

 return function() {

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

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

 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():

<b>// Возвращает наибольший общий делитель двух целых чисел, используя </b>

<b>// алгоритм Эвклида: </b><a href="http://en.wikipedia.org/wiki/Euclidean_algorithm"><b>http://en.wikipedia.org/wiki/Euclidean_algorithm</b></a>

function gcd(a.b) { // Проверка типов а и b опущена

 var t; // Временная переменная для обмена

 if (а < b) t=b, b=a, a=t; // Убедиться, что а >= b

 while(b ! = 0) t=b, b = a%b, a=t; // Это алгоритм Эвклида поиска НОД 

 return а;