What is Lambda Calculus? (ft. Church Encodings)

Рет қаралды 50,952

Күн бұрын

Lambda calculus is one of the headier concepts in CS but it's pretty cool once you get the hang of it. It's sorta alien-looking so bear with me here.
-- Music --
Jayjen - Colourful
Loxbeats - Skydive
Joakim Karud - Clouds
Tobu & Itro - Fantasy
Jayjen - Rain
-- Social Media --
Twitter: / alugocp
Instagram: / alugocp1
Reddit: / alugocp
GitHub: github.com/alugocp/
#lambdacalculus #alonzochurch #churchencodings

Пікірлер: 62

@tho_norlha 2 жыл бұрын

thank you, i have a scala exam in 10 days and you explain way better than my phd teacher who invented Scala

@leo848 Жыл бұрын

Scala is a great Language, much better than Java

@xXyournewbestfriendXx 4 жыл бұрын

I watched a few videos about lambda calculus but now it finally clicked for me. Thank you!

@jetison333 3 жыл бұрын

Thanks for starting at the bottom and building your way up, instead of starting from the top and using things you haven't explained yet.

@boburnhamsguitar 3 жыл бұрын

This is a beautifully created video! love how you explained thankyouuu

@chloerevil4679 3 жыл бұрын

THANK YOU, you just explained in a sooo simple way something that I couldn't understand on any website or in my class.

@caligula2167 4 жыл бұрын

Thank you for the video, Alex! Good stuff, as always! I just wanted to add that one may use this mnemonic to help them understand a Church numeral in a real-life scenario - a Church numeral is basically the number of times you would apply a function f to value x! x - Church's zero f(x) - Church's one f(f(x)) - Church's two f(f(f(x))) - Church's three

@incredulity Жыл бұрын

\f.\x.f(f(x))

@brangusbrangus1802 3 жыл бұрын

This was exactly the video I wanted. Way to see a gap in the market and fill it! Do addition next, plz.

@johnshepard3197 Жыл бұрын

You did it so well! What would I have done if it was not for your video, lol. Love you, man!

@trewqqwert2725 2 жыл бұрын

Thank you. I watched a few videos and got confused. This video cleared up all my confusion.

@andrewchen2349 Жыл бұрын

Hello sir! You are awesome, and I can see you really like what you're teaching. Thank you so much for this video!

@lazargrbovic5358 2 жыл бұрын

Awesome video Alex, thanks! :) I have one question though, where could I find a bunch of Lambda Expression examples to practice? Best regards, Lazar Grbovic

@nekoill 3 ай бұрын

Finally, good ol' Alonzo gets his recognition!

@bestieboots 2 жыл бұрын

This was so good!!!

@SergioGarcia-bb8mr 4 жыл бұрын

Anyone else find the music distracting?

@khemirimonem6001 4 жыл бұрын

It didn't distract me , I Fucking pissed me OFF!!!

@sijunyou9805 2 жыл бұрын

It did not distract me, until I saw this comment.

@resiliencewithin Жыл бұрын

I find it stupid

@Ancipital_ Жыл бұрын

Argh that music

@peterbarabas9358 Жыл бұрын

a bit too loud

@schrodingerscat4019 3 жыл бұрын

thanks from italy!!!! you are great

@gregorywilson2124 Жыл бұрын

Very clear description

@anaxolotl6637 Жыл бұрын

Gordon doesn't need to hear all this, he's a highly trained professional.

@rorycawley 3 жыл бұрын

Best video on lambda calculus

@youcefkebir9131 3 жыл бұрын

did anyone ever told you that you're a life savior

@amirabendahmane2824 2 жыл бұрын

thank you sooo much, that helps a lot.

@superrv0023 2 жыл бұрын

Finally I understood the concept ☺️

@genericperson8238 2 жыл бұрын

The lambda calculus also had a big impact on imperative languages before it had an impact on declarative/functional ones

@NewtonInDaHouseYo 2 жыл бұрын

Good explanation. But the background music is a bit distracting for me.

@valentineoragbakosi378 4 жыл бұрын

Nice content 👍

@nickscriabin5466 2 жыл бұрын

Every time I come back to lambda calculus, all I want is for my life to end...

@snipzmattio5887 Жыл бұрын

λ, great video

@CGInvestment Жыл бұрын

maybe without music so loud would be better this video, thanks anyway for the info

@davidprock904 3 жыл бұрын

2 min 51 sec into the video and pause it to say... you should really kill the background music 🎶... still having trouble understanding and now I'm doing extra work trying to filter out the music

@superoya9747 3 жыл бұрын

Please next time decreases the volume of music 😭

@cemozgur9959 3 жыл бұрын

🤯

@youtuberforfun7749 2 жыл бұрын

ITS VERY USEFUL IN KNOWING BECAUSE WHEN YOU FELL LIKE THINGS ARE GOING COMPLEX YOU WILL KNOW THAT NOTHING IS COMPLEX ITS JUST THAT WE DONT KNOW THE ABSTRACTION BEHIND IT.

@hikariwuff 2 жыл бұрын

Even more confused. Thanks.

@keldsor 4 жыл бұрын

KILL that music !!!!!!!!!!!!!!!!!!

@csillikd Жыл бұрын

Why?Its like porn! :D

@YunusParvezKhan 2 жыл бұрын

After watching it for 5 munites while waiting on traffic, made me think that yeah it's hard 🙂

@TheRedPython 6 ай бұрын

I don’t get it? What is it used for? Seems a pretty long winded way to write 0 and 1

@andrerenault 2 жыл бұрын

Maybe it's because I'm not a comp sci student, but I still don't get the purpose of lambda calculus - how does it make life better?

@plasticflower Жыл бұрын

It can be useful when you're coming up with a programming language, to sort of outline what you're planning to implement and have a solid set of rules that you can build on

@vicvic553 3 жыл бұрын

I disagree with you. In the expression about nested function, i.e. lambaX.lambdaY.X it is f(X, f(Y)), wherr f(Y)=X, not f(X,Y). This is a huge difference.

@jiggartala2008 2 жыл бұрын

I think you have mistake in explaining : lambdaX.lambdaY.X. you convert it to f(x,y)=x which I think is incorrect shouldn't be f(x)=f(y)=x ?

@joeyb8006 2 жыл бұрын

thanks, but the music was a bit much

@kerron68 2 жыл бұрын

Music is too loud

@viczking8520 3 жыл бұрын

Turn off music plz

@aisha3540 3 жыл бұрын

Personally loved the music!

@kingstewie6436 3 жыл бұрын

me too!!

@IsmailMarmoush 4 жыл бұрын

You literally made something great, and just ruined it with that music !

@leonhard.doerflinger 6 ай бұрын

The video would have been better without the music.

@cookieBadger 3 жыл бұрын

"So you can increment the zero value and get one, which is pretty crazy!"... ookay wow, so next you're gonna tell us that you can draw a line on a sheet of paper and call it "revolutionary"?

@palu_myr 3 жыл бұрын

Cmon, define a simple set of rules, which is so powerful and in essence simple as lamda calculus. With only 3 so incredibly simple rules, to be able to calculate any given computable function is huge.

@cookieBadger 3 жыл бұрын

@@palu_myr I was just joking. Of course the people that came up with this had some mad mathematic skills. I just don't share your passion for calculation models, but still have to learn this at uni :D

@noodleboi5053 7 ай бұрын

lose the music

@gloverelaxis Жыл бұрын

this music is REALLY bad and distracting

@Johannes00 2 жыл бұрын

Your video finally made me understand something I couldn't wrap my head around When you drew out what went where and how things interacted it became so clear Thank you!! Chaining lambda functions is complicated but fun to learn about My first project was to reverse three arguments given to the function (λx.λy.λz.z y x) A B C ⇒ (λy.λz.z y A) B C ⇒ (λz.z B A) C ⇒ C B A