Лямбда и комбинатор - близнецы-братья!

2020-01-05 - Андрей Иванов | Лямбда исчисление и Грааль

Обзорный доклад про лямбда-калкулюс, абстракции/аппликации, редукционные стратегии, комбинаторы и прочее подобное наследие Алонзо Черча и Моисея Шейнфинкеля с реалтайм поигрушками в репле.