Зачем программисту знать лямбда исчисление

Лямбда исчисление — база! Или нет? Разбираемся в новом выпуске с Виталием Брагилевским! Как лямбда исчисление появилось и почему эта формальная система так мощна и изящна? Как связаны между собой Чёрч и Тьюринг? И как в конце-концов труды Чёрча повлияли на Lisp, Haskell, и другие функциональные языки? История, математика, теория языков программирования и щепоточка отборного юмора — скорее включайте новый выпуск, чтобы насладиться всем и сразу!

Содержание:

• 00:00 О чем выпуск
• 06:58 Лямбда-функции и их применение
• 17:32 Граница между функциональным стилем и его разумным применением
• 20:46 Компиляция лямбда-функций
• 25:06 Замыкания и их значение
• 28:38 Комбинаторная логика и функциональный стиль
• 33:24 История лямбда-исчисления
• 42:13 Простота и сложность лямбда-выражений
• 57:15 Проблемы и решения в лямбда-исчислении
• 01:14:35 Прикладное значение лямбда-исчисления
• 01:20:10 История знакомства Чёрча и Тьюринга
• 01:25:11 Влияние на языки программирования
• 01:46:37 Как помогает лямбда-исчисление на практике
• 01:48:40 Заключение