Каррирование и частичное применение функции

спасибо. видимо я от жизни отстал.

Не уверен… по крайней мере я слышал только 'частичное применение'.

Вот, например, helper для Kohana, который я написал для своего проекта.
Обе функции имеют переменное число параметров.

Вот не уверен, какое из пониманий верно:

1. Метод links_Core::get($key, ...) является каррированием для links_Core::get_csrf($csrf_token, $key, ...).

2. Метод links_Core::get($key, ...) являлся бы каррирование для links_Core::get_csrf($csrf_token, $link), где $link — результат функции links_Core::get($key, ...).

Хотя в общем-то не важно, какой из вариантов формально верен. Важно, что реализации идеи встречаются на практике.

class links_Core
{
    private static $links = array();

    public function get($key)
    {
        if(empty(self::$links))
            self::$links = Kohana::config('url/my_project.links', false, true);

        if(!isset(self::$links[$key]))
            return false;

        $args = func_get_args();
        array_shift($args);
        array_unshift($args, self::$links[$key]);

        return url::base().call_user_func_array('sprintf', $args);
    }

    public function get_csrf($csrf_token, $key)
    {
        $args = func_get_args();
        array_shift($args);
        $link = call_user_func_array(array('self', 'get'), $args);

        if(strpos($link, '?') !== false)
            return $link.'&csrf='.$csrf_token;
        else
            return $link.'?csrf='.$csrf_token;
    }
}

* This source code was highlighted with Source Code Highlighter.

Конкретно мне такие статьи позволяют лучше ориентироваться в функциональном стиле кодирования. Кроме того, если бы речь шла не о сложении, а о более сложном алгоритме, то каррированием, как я понимаю, можно упростить реализацию, тестирование и использование.

Из реальных примеров навскидку так и нечего предложить, хотя на прошлом проекте я это использовал, но кода, который можно было бы показать, под рукой нет.

С другой стороны, вот все кто с LINQ работал должны знать такой метод:

msdn.microsoft.com/ru-ru/library/bb548658.aspx

Жесть, правда? А надо както с этим работать. Вот, умение преобразовывать функции тут как раз помогает. В том числе и понимание карринга.

можно посмотреть на F#

например, там можно делать композицию функций:

readFile «c:\test.txt» |> addToEachLine «1» |> writeFile «c:\test2.txt»

операция оператор |> берет две функции и применяет результат первой ко второй

благодаря каррированию writeFile превращается из функции с двумя аргументами в функцию с одним аргументом и ее можно подвать на вход |>

В F# большинство встроенных функций для работы со списками, например, сначала бедур дополнительные аргументы а потом сам список. В результате из них легко каррированием получаются функции обработки с одним аргуметом «список»
Или последовательность.

Например seq.map берет функцию и список и последовательность, применяет функию ко всем аргументам последовательности и возвращает последовательность результатов.

тогда Seq.map (fun x -> x + 1) вернет функцию, которя к заданной последовательности прибавит единицу.

И такие функции удобно выстраивать в цепочкит типа

[1; 2; 3] |> List.filter (fun x -> x % 2 = 0) |> List.map (fun x-> x + 1)

В stl есть хелперы bind1st и bind2nd, которые выполняют частичное применение функции 2х аргументов, позволяя вернуть функтор-замыкание уже с одним аргументом. Используется достаточно часто

Каждый что-то понял, но никто не уверен, то понял ли он именно то, что имелось кем-то в виду. Вопрос в том, имел ли кто-то что-то в виду или что-то тут действительно не так :-p

PS: Откаррируйте-ка мой комментарий, а? :-)

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

RecFunc<T, R> recFunc = r => t => f(r( r ))(t);

Да, каждая медаль имеет две стороны. Это как шаблоны C++ в свое время — все очень удобно и круто, но экзешник распухает капитально (а под досом это имело значение...)