Скачать
Why Don't We Program In Lambda Calculus? Rust, Lisp, and Church's Thesis
Автор: Andrew Giraffe
Загружено: 2025-04-28
Просмотров: 22910
Описание:
This is a video that tries to shed light on some of the world of functional programming and its core: lambda calculus. While LC may be able to represent all computable algorithms, I explain why it is still distinct from computation. However, it still has had major influence on Lisp, Haskell, and now Rust.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
