Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Лямбда исчисление — база! Или нет? Разбираемся в новом выпуске с Виталием Брагилевским! Как лямбда исчисление появилось и почему эта формальная система так мощна и изящна? Как связаны между собой Чёрч и Тьюринг? И как в конце-концов труды Чёрча повлияли на Lisp, Haskell, и другие функциональные языки? История, математика, теория языков программирования и щепоточка отборного юмора — скорее включайте новый выпуск, чтобы насладиться всем и сразу! Партнёр эпизода — компания YADRO. YADRO — это крупнейшая технологическая компания, которая создает фундаментальные для российского рынка продукты, начиная от серверов, и заканчивая собственной базовой станцией. Большое инженерное сообщество, амбициозные задачи, возможность напрямую влиять на развитие продукта — это то, что ждёт тебя в YADRO! Карьерный портал: Портал "Истовый инженер": Реклама. ООО «КНС ГРУПП», ИНН: 7701411241, erid: 2SDnjcgKPX2 ❓ Хочешь обсудить выпуск или задать вопрос эксперту? Вступай в наш Telegram-чат: 📰 Не любишь чаты, но хочешь оставаться в курсе дел и прокачивать свой IT кругозор? Подписывайся на наш Telegram-канал: там публикуются анонсы новых выпусков, а в комментах идут ценные и горячие обсуждения! 5 тысяч опытных IT-специалистов уже с нами: 👉Предложить себя в подкаст Тайм-коды: 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 Заключение
