Lambda Calculus — самая красивая концепция из бесполезных. Как думаете, что можно сделать на языке программирования, в котором есть только функции?
Lambda Calculus — трехчасовой скринкаст Дэвида Бизли с PyCon 2019. Покрывает вот прям всё, крайне доступно и через практику. Причём это всё независимо от языка. Примеры хоть и на питоне, но предварительных знаний о питоне не требует.
Также несколько занимательных видео есть на Computerphile:
- Lambda Calculus
- What is a Monad?
- Functional Programming’s Y Combinator Эти видео не без претензий, есть много допущений и недосказанности, но по итогу всё равно понятно, о чём речь. Особенно интересно про Y-combinator, потому что там данная концепция выводится как раз через тот альтернативный путь, который Дэвид Бизли упоминает в самом конце своего скринкаста, с рассказом про комбинаторы в целом.
Ну и python-lambda-calculus — мой репозиторий с реализацией всего, что было в скринкасте Бизли, и ещё гораздо больше (например, знаковые числа и списки), с тестами на pytest. Крайне бесполезно и увлекательно.