Лямбда исчисление — база! Или нет? Разбираемся в новом выпуске с Виталием Брагилевским! Как лямбда исчисление появилось и почему эта формальная система так мощна и изящна? Как связаны между собой Чёрч и Тьюринг? И как в конце-концов труды Чёрча повлияли на 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 Заключение
