Podlodka #415 – Лямбда исчисление

Лямбда исчисление — база! Или нет? Разбираемся в новом выпуске с Виталием Брагилевским! Как лямбда исчисление появилось и почему эта формальная система так мощна и изящна? Как связаны между собой Чёрч и Тьюринг? И как в конце-концов труды Чёрча повлияли на Lisp, Haskell, и другие функциональные языки? История, математика, теория языков программирования и щепоточка отборного юмора — скорее включайте новый выпуск, чтобы насладиться всем и сразу! 
 
Партнёр эпизода — компания YADRO. YADRO — это крупнейшая технологическая компания, которая создает фундаментальные для российского рынка продукты, начиная от серверов, и заканчивая собственной базовой станцией. Большое инженерное сообщество, амбициозные задачи, возможность напрямую влиять на развитие продукта — это то, что ждёт тебя в YADRO! 
 
Карьерный портал:  
https://clck.ru/3HEn9p 
 
Портал "Истовый инженер":  
https://clck.ru/3HEnDx 
 
Реклама. ООО «КНС ГРУПП», 
ИНН: 7701411241, erid: 2SDnjcgKPX2 
 
Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!  
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews  
Страница в Facebook: facebook.com/podlodkacast/  
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  
 
Ведущие в выпуске: 
Евгений Кателла, Катя Петрова