[JDK 8][Lisp]Lambda-функции на подходе

сан, а теперь и оракл давно обещали лямбды в 8-й ветке. а лисп силён далеко не лямбдами

напомн, что есть лямбда функция?

Так баян же. Уродский синтаксис замыканий в новой джяве тут ещё прошлой весной (емнип) обсуждали.

безымянная функция, определяемая по месту использования

Ну офигеть, причём тут Lisp не понятно только

ок. только я даже представить не могу, где это может пригодиться...

везде.

Эээ. Где хочешь.

Ну например (mapcar #'(lambda (x) «Какая-то хрень» (expt (* x 2) 3)) '(1 2 3 4))

Там, где нужна однострочная одноразовая функция, очевидно же.

расшифруй для нелиспера пожалуйста

Есть список, и он для каждого его элемента применяет «какую-то хрень» - просто проводит арифметические операции, а именно (2*x)^3. Для этого не будешь же именованную функцию заводить. То есть, как это уже сказали, это может быть одноразовая функция, которую, например, можно послать как аргумент другой функции.

Лямбды есть почти во всех современных языках, даже вон в С++ впендюрили, при чём тут lisp?

> расшифруй для нелиспера пожалуйста

Пример возведения каждого элемента массива в квадрат, псевдокод: for_each_element(array; x λ x*x)

>ля этого не будешь же именованную функцию заводить
буду, обязательно.

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

не нужно, реализуется классом-оберткой.

И вообще лямбды в том виде в каком они предлагаются в джаве 8 - тупо синтаксический сахар.

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

и гденить ниже

...
var fnc:TMyFunc;
begin
  @fnc = GetFuncFromThis(1);
  fnc(1,2);
end;
...

Лямбды у всех нормальных людей давно уже есть. Запилите мне tail call optimization, суки!

>лямбды

не нужно, реализуется классом-оберткой.

Какая убогая платформа.

А можно пример реализации GetFuncFromThis? Например, такой что бы возвращала бы функцию складывающую два своих аргумента и аргумент GetFuncFromThis.

т.е. функциональный тип данных это уже сразу лямбда?

мысли о 8 появились сразу же, как только стало ясно, что в 7 все наработки не попадают

два своих аргумента и аргумент GetFuncFromThis

вот это не знаю, чесно

type
  TMyFunc = function(a,b:byte):integer;

function func1(a,b:byte):integer;
begin
  result:=a+b;
end;
function func2(a,b:byte):integer;
begin
  result:=a*b;
end;

function GetFunc(t:byte):TMyFunc;
begin
//не помню как в поцкале кейсы сделаны, но примерно вот так
case t of
  1:result:=@func1;
  2:result:=@func2;
end;
...
var f1,f2:TMyFunc;
begin
  @f1:=GetFunc(1);
  @f2:=GetFunc(2);
  writeln(f1(2,2));
  writeln(f2(2,2));
end;

вот это не знаю, чесно

Этого в паскале нет :-) Вообще лямбда фукнция замыкается в контексте определения, т.е. это фактически пара указатель на функцию и структура с переменными. То, что ты показал понятно, но имеет ограниченное применение. В паскале, кстати, есть вложенные функции, но указатели на них можно передавать только вниз по цепочке вызовов, но не возвращать наверх.

напомн, что есть лямбда функция?

лямбда функция - это масло маслянное

Например, передавать небольшие callback-и для асинхронных вызовов.

ок. только я даже представить не могу, где это может пригодиться...

Анонимные классы, определяемые «по месту» и имеющие доступ к членам включающего класса, тебе неизвестны? Так вот, это и есть лямбда с замыканием.