Learn Lambda Calculus: The language with ONLY FUNCTIONS

[@evanzhoudev]

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 🙏

[@Ryan_Thompson]

Worth it. Best short presentation on lambda calc I’ve seen!

[@mustafaerdem1862]

Turing machine???

[@user-nx6wi6eh9v]

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.

[@evanzhoudev]

Functional programming is quite beautiful once you really look into it!

[@1ballad]

The learning curve is very steep with this video holy

[@evanzhoudev]

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 :)

[@iamrising7176]

Very very steep. I just had to leave mid way.

[@rcnhsuailsnyfiue2]

Great explainer! Gotta rewatch a few times to take it all in though 😅

[@evanzhoudev]

Yeah, pausing and rewatching is expected, LC is a heavy topic, and I crammed quite a lot into those few minutes

[@Zeero3846]

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.

[@gustavotatavo8215]

Damn, gotta save this to rewatcj when I get my brainpower back

[@Dex816]

Half lif

[@inn5268]

That's a different lambda tho, the lambda in half-life represents the decay constant in a half life formula (for radioactive elements), which i guess relates to the fact that gordon is a particle physicist

[@-N0PE-]

This was a really cool video. Thank you!

[@evanzhoudev]

Glad you liked it!

[@alexion3007]

Wow, I'm learning haskell and it does certainly seem quite similar to lambda calculus.

[@evanzhoudev]

There's a reason haskell logo is lambda symbol ;)

[@freedmen123]

They're the same picture, except Haskell is boneless

[@BCarli1395]

Thank you. This was very helpful.

[@flavioryu5922]

PVZ music in a lambda calculus video? Amazing

[@SphereofTime]

0:24 parameterperiod body

[@cerkitbreaker]

I thought this would be interesting to watch before work. Now my brain crashed and won’t reboot.

[@darqed]

I love λ

[@Beatriz-wq4jr]

....

[@anon_y_mousse]

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.

[@evanzhoudev]

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!

[@anon_y_mousse]

@@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.

[@LambdaJack]

​@@anon_y_mousseYou have a nice excuse there. Need I say "Lambda Calculus" is a Straw Man. Lisp was discovered because LC was... inadequate.

[@anon_y_mousse]

@@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.

[@LambdaJack]

@@anon_y_mousse You clearly have no clue what is a Link Register.