Что это, зачем используется? Примеры...
-
Тут так практически про всё можно написать– Niki-Timofe19 мая 2012 в 20:04
-
5@niki-timofe, это слабое оправдание. Если вы не приложите усилий, чтобы задать хороший вопрос, то не можете ожидать, что мы приложим усилия, чтобы дать хороший ответ. Таким образом вам придется удовлетвориться копипастой из ссылки выше, что несколько глупо для программиста, ибо подразумевает выполнение машинной работы вручную.– karmadro419 мая 2012 в 20:23
4 ответа
Лямбда-функции - это функции, у которой фактически нет имени. Таким образом математики упростили до невозможности формат записи функции, а вообще лямбда-исчислениями пытались формализовать вычисления
λx.x
λ
— означает, что это лямбда-функция. Всё что после неё - список аргументов, в идеале абсолютно любого типа, в том числе может быть и другая лямбда-функция. После точки идёт "тело функции", а уже потом, собственно, идёт аргумент, который будет передан. Т.о.
λx.x+2 2 // вернёт 4
Пример посложнее:
λx.x 2 λy.y+1 // результат 3
Здесь в качестве параметра x выступает другая лямбда-функция λy.y + 1
, в которую передаётся параметр 2. То есть любая лямбда функция является функцией высшего порядка, может принимать в качестве аргумента другую функцию и возвращать функцию:
λx.λy.y+x+3 2 // вернёт λy.y+5, т.к. x был равен двум.
λx.λy.y+x+3 2 3 // вернёт 8. Фактически это каррирование: сначала функция принимает аргумент 2 и возвращает функцию, которая принимает ещё один аргумент и возвращает результат.
Если интересно, я когда-то писал аналогичные вещи на C#
Теперь давайте посмотрим, как же все наши примеры будут выглядеть на C#. Здесь в качестве лямбда-функции я использую Func, где T - тип аргумента, а U - тип возвращаемого значения:
1) Func<int, int> func = x=>x;
2) var result = new Func<int,int>(x=>x+2)(2);
3) var result = new Func<Func<int,int>, int>(x=>x(2))(new Func<int,int>(y=>y+1));
4) var result = new Func<int, Func<int, int>>(x=>y=>y+x+3)(2);
5) var result = new Func<int, Func<int, int>>(x=>y=>y+x+3)(2)(3);
Сложность составляет только явное указание типа аргументов и возвращаемого значения.
-
λx.λy.y+x+3 2
называется по-ненашему currying (карринг, частичное применение) в честь Хаскела Карри. (см. языки программирования haskell и curry)– alexlz20 мая 2012 в 5:26 -
2
-
Тогда хотелось бы видеть официальный перевод термина currying. (Карринг вроде в русском языке пока не утвердился)– alexlz20 мая 2012 в 6:56
-
я знаю, что википедия не самый достоверный источник, но всё же - http://ru.wikipedia.org/wiki/Каррирование– Spectre20 мая 2012 в 7:05
-
2@Андрей. Для того, чтобы понять различия, надо углубляться в C#. Эта канитель, если я правильно понял, возникает, когда для вызова функции используется какой-то специальный синтаксис. Тогда как в случае лямбда-исчисления таких тонкостев не найти по причине их ненужности.– alexlz20 мая 2012 в 11:59
lambda - это простыми словами функция которая лежит прямо в переменной, если мы хотим записать функцию в переменную то мы сначала должны описать эту функцию
def main(a,b):
return a+1,b-1
tools = main(3,4)
// 43
print(tools)
используя lambda
a,b = (3,4)
tools = lambda a,b: (a+1, b-1)
print(tools)
благодаря записи в одну строку её можно удобно вставлять куда-угодно.
-
3Что касается питона, то там лямда-выражения слабые (если не изменили в python3), не позволяют описывать сложные функции. Аргументация -- в питоне легко создавать локальные функции, и это позволяет не горевать по поводу имён. Лямбда в javascript (function (x) {return x+1})(5); var f = function (x) {return x*2};– alexlz20 мая 2012 в 3:35
Лямда-выражения -- анонимные функции. Приползло из математики, где использовалась специальная форма записи функций, ликвидирующая неоднозначности функция/значение функции и пр. Благодаря усилиям верстальщиков (не html-, а типографских набощиков) из формы $hat x.x$, оно трансформировалось в $wedge x.x$, ну а далее, уже естественно -- в $lambda x.x$
Т.е. значение лямбда-выражения -- это функция, которая может быть применена к какому-то аргументу/аргументам.
Укажите подробности (язык в частности ). Лямбда выражения - это анонимные функторы( переменные, содержащие целую функцию ). Лямбда-выражение допускает замыкание на лексический контекст, в котором это выражение использовано. В PHP, например, такое выражение создается так:
$func = create_function("$a,$b","return $a+$b;"); // lambda-style функция
echo $func(1,2); //3
-
4В PHP
create_function
не имеет никакого отношения к анонимным функциям и является оберткой дляeval
, которая на каждый вызов создает поименованную функцию с именем «lambda_N
», где N — натуральное число. Относительно новый синтаксис$f = function(...) { ... }
уже ведет себя как анонимная функция (например, не передекларируется в цикле), и является объектом типаClosure
, который ведет себя как функция (но функцией не является, в результате чего работает не везде).– drdaeman19 мая 2012 в 21:25 -
2Вопрос в никуда: Почему об этом нет ни одного слова на php.net?.. (я о eval'e) Я полагаю - это "немножко" важная информация, которая должна быть выделена жирным шрифтом в описании функции (а лучше вообще перед), но нет: create_function — Create an anonymous (lambda-style) function– user354519 мая 2012 в 21:30
-
2В похапе добавили, потому что сходите на Кузнецкий, все в лаковых. Но концовка предсказуемая - получилось как всегда. 19 мая 2012 в 21:39
-
4Аккуратней с использованием термина "функтор". В разных языках (программирования) он имеет разное значение. Данное в википедии -- из языка Пролог. Вот определение из другой статьи в этой же педивикии: "Функторы — это отображения категорий, сохраняющие структуру."– alexlz20 мая 2012 в 3:14
-
5Давать пример лямбда-выражения на PHP это конечно зашибись -- насколько мне известно они там кастрированные. 20 мая 2012 в 7:42