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...
🔥 Related Trending Topics
LIVE TRENDSThis video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!
THIS VIDEO IS TRENDING!
This video is currently trending in Thailand under the topic 'สภาพอากาศ'.
About this video
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.
Video Information
Views
21.7K
Total views since publication
Likes
801
User likes and reactions
Duration
26:49
Video length
Published
Apr 28, 2025
Release date
Quality
hd
Video definition
About the Channel
Tags and Topics
This video is tagged with the following topics. Click any tag to explore more related content and discover similar videos:
#rust #alonzo church #alan turing #lambda calculus #turing machine #automata #complexity #luke smith #mental outlaw #linux #emacs #haskell
Tags help categorize content and make it easier to find related videos. Browse our collection to discover more content in these categories.