Learn Lambda Calculus: The language with ONLY FUNCTIONS
HTML-код
- Опубликовано: 5 окт 2024
- Learn nearly everything in Lambda Calculus, from the syntax to representing basic data types like booleans and numerals, to recursion.
By the end of this video, you should be able to create nearly anything in this beautiful language that is the basis of functional programming.
Resources:
Learn X in Y minutes: learnxinyminut...
Quickly go over what you just learned!
A Tutorial Introduction to the Lambda Calculus: www.inf.fu-berl...
A comprehensive PDF version of topics this video covers
Computerphile's Video on Lambda Calculus: • Lambda Calculus - Comp...
Coverage of the basics of Lambda Calculus
Computerphile's Video on the Y Combinator: • Essentials: Functional...
Interesting explanation regarding recursion without self-referencing
#lambdacalculus #lambda #calculus #functionalprogramming #functions
This video took me over 20 hours to write and edit (it's surprisingly hard to explain LC easily!), so if you learned something or enjoyed, please let me know. Greatly appreciated 🙏
Worth it. Best short presentation on lambda calc I’ve seen!
The learning curve is very steep with this video holy
I basically put everything I could reasonably teach about LC into this video; it is implied that you can pause and work some things out by hand to better understand it :)
Very very steep. I just had to leave mid way.
This is the first video I've seen from this channel, amazing. Cant believe you have this few subscribers. I wanted to learn functional programming for a while and i think this is the time to fully spec into it.
Functional programming is quite beautiful once you really look into it!
Great explainer! Gotta rewatch a few times to take it all in though 😅
Yeah, pausing and rewatching is expected, LC is a heavy topic, and I crammed quite a lot into those few minutes
Damn, gotta save this to rewatcj when I get my brainpower back
Honestly, I wish math classes could have a whole brief summary like this beforehand so you can see where things are headed, so you aren't just grinding on with endless proofs with no clear goal in sight. You don't have to understand everything, but at least it might sound familiar by the time you get to revisit the subject.
Thank you. This was very helpful.
This was a really cool video. Thank you!
Glad you liked it!
Wow, I'm learning haskell and it does certainly seem quite similar to lambda calculus.
There's a reason haskell logo is lambda symbol ;)
They're the same picture, except Haskell is boneless
PVZ music in a lambda calculus video? Amazing
I love λ
....
Can you imagine how inefficient everything would be if we had to write code that way. Unfortunately, some people still haven't learned the right lesson and we have a lot of people pushing for functional programming languages and using recursion everywhere. You should do a video on unwrapping recursion and understanding how to translate recursive algorithms into iterative forms to increase efficiency. I would suggest quick sort as an example because it's easy to understand and fun to write.
functional programming isn't the best, but it's a pretty beautiful bridge between math and programming
that also seems like a fun video idea, thanks for suggesting!
@@evanzhoudev Perfect analogy, because as a bridge you walk over it and don't live on it. More people need to learn that lesson for sure.
@@anon_y_mousseYou have a nice excuse there. Need I say "Lambda Calculus" is a Straw Man. Lisp was discovered because LC was... inadequate.
@@LambdaJack Okay, and where did I advocate for Lambda Calculus? Did you not read where I said that functional languages were inefficient? If you're doing pure math, it might be okay, but not for programming.
@@anon_y_mousse You clearly have no clue what is a Link Register.