Что такое лямбда функции?

Добрый вечер, что такое лямбда функции? Что значит запись:
Зачем их вобще использовать? Пытался гуглить, но так и не нашел внятного объяснения их сущности и необходимости. Можете объяснить?

0

стр. 74
https://vk.com/doc304656442_43... dc32f7ad1e

1

_sg, а еще такой вопрос:
что значит функция t? Она проверяет что-то на истинность?

0

Анонимные функции:
http://lisper.ru/pcl/functions

Добавлено через 2 минуты
Логические значения t и nil - стр. 55
https://vk.com/doc304656442_43... dc32f7ad1e

0

_sg, а еще такой вопрос:
что значит let* ? Это указатель на временную локальную переменную (знаю, что бред - сказался опыт прогр-ния на Си)?

0

http://www.lispworks.com/docum... Master.htm

Добавлено через 48 секунд
Special Operator LET, LET*
http://www.lispworks.com/docum... _let_l.htm

0

Сообщение от _sg http://www.lispworks.com/documentati...t/X_Master.htm

Не понял смысла:

0

let and let* create new variable bindings and execute a series of forms that use these bindings. let performs the bindings in parallel and let* does them sequentially.
first evaluates the expressions init-form-1, init-form-2, and so on, in that order, saving the resulting values. Then all of the variables varj are bound to the corresponding values; each binding is lexical unless there is a special declaration to the contrary. The expressions formk are then evaluated in order; the values of all but the last are discarded (that is, the body of a let is an implicit progn).
let* is similar to let, but the bindings of variables are performed sequentially rather than in parallel. The expression for the init-form of a var can refer to vars previously bound in the let*.
first evaluates the expression init-form-1, then binds the variable var1 to that value; then it evaluates init-form-2 and binds var2, and so on. The expressions formj are then evaluated in order; the values of all but the last are discarded (that is, the body of let* is an implicit progn).

0

Сообщение от Ferrari F1 Зачем их вобще использовать?

А зачем анонимные числа использовать?

Сообщение от Ferrari F1 что значит функция t?

Нет такой функции, это константа. Обычно она используется в качестве true.

0

Ferrari F1, записи в указателе по первой букве (значку), в алфавитном порядке:
http://www.lispworks.com/docum... Master.htm

0

Сообщение от helter Нет такой функции

Тут происходит проверка на истинность?

Добавлено через 1 минуту
_sg, helter, а можно своими словами пожалуйста попросить Вас объяснить, для чего в быту используется let* ?

0

Сообщение от Ferrari F1 что значит let* ? Это указатель на временную локальную переменную (знаю, что бред - сказался опыт прогр-ния на Си)?

Это не указатель, звёздочка — потому что похоже на let, но не let. Обычный let сначала вычисляет все значения в правых частях, потом связывает с ними левые части; а let* выполняет связывания последовательно. Поэтому let* используется, когда одну из переменных надо использовать в выражении, определяющем последующую переменную. Например,
возвращает 2. Если бы было просто let, значение a из первой строчки было бы не видно во второй.

Добавлено через 6 минут

Сообщение от Ferrari F1 (t

Наверно, это из cond-а выдернуто. У cond такой синтаксис:
Вычисляются по очереди условия, пока не встретится истинное, и когда будет истинное ― вычисляются соответствующие формы; возвращается значение последней вычисленной формы или nil, если все условия ложные.

В качестве ветки «else» можно использовать такое условие, которое всегда истинно. В лиспе всё истинно, кроме nil, поэтому в качестве дефолтного условия можно было бы поставить, например, число 1. Однако по традиции в качестве True используют константу t.

Кстати, можно обратить внимание, что формы внутри cond вычисляются не по обычному правилу. Обычное ― когда в голове имя функции, а потом аргументы. А cond задаёт своё правило вычисления форм, не совпадающее с обычным (то, которое я выше привёл). Называется «макрос». Макросами можно реализовать разные управляющие структуры. С их помощью программист может легко добавлять новые управляющие структуры ― что в других языках, как правило, невозможно.

1

Сообщение от Ferrari F1 LispВыделить код 1 (t (cons (append w1 w2) (remove-if (lambda (x) (or (member a1 x) (member a2 x))) w))) Тут происходит проверка на истинность?

Происходит, но это условие (константа t) проверяется внутри COND, когда ложными оказываются все проверки, то выполняется s-выражение в нижней ветке следующее за t (истина):
t в последней ветке можно опустить:

1

Сообщение от Ferrari F1 Зачем их вобще использовать? Пытался гуглить, но так и не нашел внятного объяснения их сущности и необходимости. Можете объяснить?

- что мне нравится в таких просьбах, так это присказка - "пытался искать и ничего не нашел", хотя сведениями об анонимных функциях (причем, не только в Лиспе) Интернет буквально "набит".

Основное предназначение анонимных функций - случай, когда функция нужна однократно. (Обычно функции пишутся по прямо противоположной причине - чтобы их многократно использовать). Представим, однако, что нужно посчитать сумму элементов списка, делящихся на три. Для этого есть вполне универсальный прием: сначала удалим из списка все, что на три не делится, а потом сложим все оставшиеся элементы. Чтобы удалить все, что не делится на 3, есть стандартный функционал remove-if. Первый его аргумент - логическая функция, задающая условие удаления. Значит нам нужна функция, которая будет возвращать t если ее аргумент не делится на три и nil в противном случае:

Все работает... Но функция test-3 больше никому не нужна (а место в памяти и в пространстве имен занимать будет). Использование анонимной функции позволяет решить задачу "в одно действие" без лишних функций:

2