Встреча 49: Лямбда исчисление и Грааль

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

Смотрите также