403
правки
Изменения
Нет описания правки
{{В разработке}}
''Лямбда-исчисление'' (''lambda calculus'') {{---}} формальная система, придуманная в 1930-х годах
Алонзо Чёрчем. Лямбда-функция является, по сути, анонимной функцией.
Эта концепция показала себя удобной и сейчас активно используется во многих
