12

Что это, зачем используется? Примеры...

2
  • Тут так практически про всё можно написать 19 мая 2012 в 20:04
  • 5
    @niki-timofe, это слабое оправдание. Если вы не приложите усилий, чтобы задать хороший вопрос, то не можете ожидать, что мы приложим усилия, чтобы дать хороший ответ. Таким образом вам придется удовлетвориться копипастой из ссылки выше, что несколько глупо для программиста, ибо подразумевает выполнение машинной работы вручную.
    – karmadro4
    19 мая 2012 в 20:23

4 ответа 4

33

Лямбда-функции - это функции, у которой фактически нет имени. Таким образом математики упростили до невозможности формат записи функции, а вообще лямбда-исчислениями пытались формализовать вычисления

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

Сложность составляет только явное указание типа аргументов и возвращаемого значения.

9
  • λx.λy.y+x+3 2 называется по-ненашему currying (карринг, частичное применение) в честь Хаскела Карри. (см. языки программирования haskell и curry)
    – alexlz
    20 мая 2012 в 5:26
  • 2
    это вы к чему? к тому же карринг и частичное применение - разные вещи
    – Spectre
    20 мая 2012 в 6:23
  • Тогда хотелось бы видеть официальный перевод термина currying. (Карринг вроде в русском языке пока не утвердился)
    – alexlz
    20 мая 2012 в 6:56
  • я знаю, что википедия не самый достоверный источник, но всё же - http://ru.wikipedia.org/wiki/Каррирование
    – Spectre
    20 мая 2012 в 7:05
  • 2
    @Андрей. Для того, чтобы понять различия, надо углубляться в C#. Эта канитель, если я правильно понял, возникает, когда для вызова функции используется какой-то специальный синтаксис. Тогда как в случае лямбда-исчисления таких тонкостев не найти по причине их ненужности.
    – alexlz
    20 мая 2012 в 11:59
11

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)

благодаря записи в одну строку её можно удобно вставлять куда-угодно.

1
  • 3
    Что касается питона, то там лямда-выражения слабые (если не изменили в python3), не позволяют описывать сложные функции. Аргументация -- в питоне легко создавать локальные функции, и это позволяет не горевать по поводу имён. Лямбда в javascript (function (x) {return x+1})(5); var f = function (x) {return x*2};
    – alexlz
    20 мая 2012 в 3:35
10

Лямда-выражения -- анонимные функции. Приползло из математики, где использовалась специальная форма записи функций, ликвидирующая неоднозначности функция/значение функции и пр. Благодаря усилиям верстальщиков (не html-, а типографских набощиков) из формы $hat x.x$, оно трансформировалось в $wedge x.x$, ну а далее, уже естественно -- в $lambda x.x$

Т.е. значение лямбда-выражения -- это функция, которая может быть применена к какому-то аргументу/аргументам.

3
  • Ещё бы кто объяснил, как тут формулы записывать... А то что-то пробегало про формат LaTeX.
    – alexlz
    20 мая 2012 в 3:30
  • Увы, оно тут не работает, только на матх.
    – karmadro4
    20 мая 2012 в 5:02
  • Тогда словами. Изначатьльно x "под шапкой^".x, был переделан в "знак конъюнкции"x.x, а уже потом лямбда x.x
    – alexlz
    20 мая 2012 в 5:21
0

Укажите подробности (язык в частности ). Лямбда выражения - это анонимные функторы( переменные, содержащие целую функцию ). Лямбда-выражение допускает замыкание на лексический контекст, в котором это выражение использовано. В PHP, например, такое выражение создается так:

$func = create_function("$a,$b","return $a+$b;");  //  lambda-style функция
echo $func(1,2); //3

Больше

14
  • 4
    В PHP create_function не имеет никакого отношения к анонимным функциям и является оберткой для eval, которая на каждый вызов создает поименованную функцию с именем «lambda_N», где N — натуральное число. Относительно новый синтаксис $f = function(...) { ... } уже ведет себя как анонимная функция (например, не передекларируется в цикле), и является объектом типа Closure, который ведет себя как функция (но функцией не является, в результате чего работает не везде).
    – drdaeman
    19 мая 2012 в 21:25
  • 2
    Вопрос в никуда: Почему об этом нет ни одного слова на php.net?.. (я о eval'e) Я полагаю - это "немножко" важная информация, которая должна быть выделена жирным шрифтом в описании функции (а лучше вообще перед), но нет: create_function — Create an anonymous (lambda-style) function
    – user3545
    19 мая 2012 в 21:30
  • 2
    В похапе добавили, потому что сходите на Кузнецкий, все в лаковых. Но концовка предсказуемая - получилось как всегда.
    – karmadro4
    19 мая 2012 в 21:39
  • 4
    Аккуратней с использованием термина "функтор". В разных языках (программирования) он имеет разное значение. Данное в википедии -- из языка Пролог. Вот определение из другой статьи в этой же педивикии: "Функторы — это отображения категорий, сохраняющие структуру."
    – alexlz
    20 мая 2012 в 3:14
  • 5
    Давать пример лямбда-выражения на PHP это конечно зашибись -- насколько мне известно они там кастрированные. 20 мая 2012 в 7:42

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.