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 🙏
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 :)
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.
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.
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!
@@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.
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 :)
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
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.
Damn, gotta save this to rewatcj when I get my brainpower back
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
I love λ
PVZ music in a lambda calculus video? Amazing
....
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.