У нас вы можете посмотреть бесплатно Lambda Calculus: The foundation of functional programming, and the simplest programming language или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Lambda "Calculus" is a extremely concise way to represent logic and computing — just like a Turing machine. Instead of a Turing machine's mechanical and step by step way of computing, lambda calculus looks much more similar to regular math and "computes" by substituting and simplifying. Timestamps: 00:00 intro 00:36 logical explanation 02:20 formal explanation 06:47 currying 08:47 church encoding for numbers 12:02 recursion -------------- My website: https://tonyzhang.net My Github: https://github.com/Tony1324 Contact me: [email protected]