Неформальное понятие лямбда-выражения

Лямбда-выражение имеет вид

λx.body

где

λфункция от
xсвязанная переменная
точка (.)которая возвращает
bodyтело, т.е. выражение (может не содержать x)