Connect with us

Видео и подкасты для разработчиков

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

История, математика, теория языков программирования и щепоточка отборного юмора — скорее включайте новый выпуск, чтобы насладиться всем и сразу!

Опубликовано

/

     
     

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

 

Если вы нашли опечатку - выделите ее и нажмите Ctrl + Enter! Для связи с нами вы можете использовать info@apptractor.ru.
Telegram

Популярное

Сообщить об опечатке

Текст, который будет отправлен нашим редакторам: