Why Don't We Program In Lambda Calculus? Rust, Lisp, and Church's Thesis
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.