Learn Lambda Calculus: The language with ONLY FUNCTIONS
Vložit
- čas přidán 2. 03. 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: learnxinyminutes.com/docs/lam...
- Quickly go over what you just learned!
A Tutorial Introduction to the Lambda Calculus: www.inf.fu-berlin.de/lehre/WS0...
- 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 🙏
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 :)
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
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!
This was a really cool video. Thank you!
Glad you liked it!
I love λ
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
Damn, gotta save this to rewatcj when I get my brainpower back
....
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.