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