Он относится к лямбда-исчислению , который является формальной системой, которая имеет только лямбда-выражения, которые представляют собой функцию, которая принимает функцию для своего единственного аргумента и возвращает функцию. Все функции в лямбда-исчислении имеют такой тип, т. Е. λ : λ → λ
.
Лисп использовал концепцию лямбда, чтобы назвать ее анонимные литералы функции. Эта лямбда представляет собой функцию, которая принимает два аргумента: x и y и возвращает их произведение:
(lambda (x y) (* x y))
Его можно применять в строке, как это (оценивается как 50 ) :
((lambda (x y) (* x y)) 5 10)