Watching this video felt like unravelling the world's deepest conspiracy

@Yetipfote

3 жыл бұрын

This comment is almost on par with the video!

This was the clearest, most understandable introduction to lambda calculus I'm come across. Nicely done. Thanks for making it.

@chumeh9886

3 жыл бұрын

Very True. it has been so troublesome to me, but now its so clear. thank

@john7556

3 жыл бұрын

Agreed: I'm only 2m21s into the video, and he has clarified so much of the syntax that I'm very impressed (and regretful at all the time I lost to other "explanations"!)

@otischance9144

2 жыл бұрын

Sorry to be so offtopic but does someone know of a trick to log back into an Instagram account?? I somehow lost my account password. I appreciate any tips you can offer me

@fabianjax4659

2 жыл бұрын

@Otis Chance instablaster ;)

@otischance9144

2 жыл бұрын

@Fabian Jax thanks for your reply. I found the site on google and Im waiting for the hacking stuff now. I see it takes a while so I will reply here later when my account password hopefully is recovered.

This is hands down the best intro to functional programming/lambda calculus out there. The fact that it only has 38k views at the time of writing is a crime of untold magnitude.

@gustavorino

Жыл бұрын

Top quality is not for everyone, unfortunately

Just want to say, those were some of the best slides I've ever seen.

the best lambda calculus explanation ever

This should be a TED Talk, the preparation must have been intense. You Sir are a genius

@glebec

4 жыл бұрын

Not a genius, just had a lot of fun reading up on what other people figured out before me! What you DON'T see here is all the time and effort it took to untangle those ideas, practice them, and examine them from different angles before it made sense to ME. Once I did that, I really wanted to make the subject easier to understand for people like me… by coming up with explanations which I think might have helped. Thanks for the kind words regardless! :-)

@hocky-ham324-zg8zc

3 жыл бұрын

Gabriel Lebec please make videos like this! I guarantee you’ll get a lot of exposure

I used to teach at a fullstack bootcamp and I'm completely blown away by the quality of this lecture. Feel like an absolute jabroni. Amazing my dude.

Less than seven minutes in and I can already see that this is great: clearly explained, well articulated, the works. But now I have to rush off to work, writing lambda expressions in Java.

@yannick6927

4 жыл бұрын

Welll, good luck!

This lecture is just unbelievably good. This guy is a very talented teacher/lecturer

Literally the best talk about lambda calculus on KZread, after watching this video (and the second one), I am enthusiastic to read To Mock a Mockingbird.

[0:00:00] Intro [0:00:48] I = a => a [0:01:48] Notation [0:06:39] Functions [0:09:15] Beta-reduction [0:11:49] M = f => f(f) [0:15:04] "n-ary" shorthand [0:17:00] K = a => b => a [0:18:44] KI = a => b => b [0:20:49] History [0:29:30] Combinators? [0:31:00] C = f => a => b => f(b)(a) [0:33:46] T = K; F = KI [0:39:53] not = p => p(F)(T) [0:42:21] not == C && not !== C [0:45:30] and = p => q => p(q)(p) [0:48:39] or = p => q => p(p)(q) [0:49:29] or == M [0:51:41] beq = p => q => p(q)(not(q)) [0:54:19] ¬(P ∧ Q) === (¬P) ∨ (¬Q) [0:55:01] Closing [0:56:48] Basis [0:58:15] WHY? [1:00:37] Y- and Z-Combinators [1:01:58] Outro

@glebec

2 жыл бұрын

Thanks for the timestamps!

@florianvanbondoc3539

Жыл бұрын

Thanks for you work!

@ivandrofly

7 ай бұрын

Good one thanks

This was remarkably clear, a lot of thought must have gone into preparing this talk ! Thank you so much for this excellent talk : )

53:02 *that's XNOR !*

@theogiani8562

4 жыл бұрын

Yes ;-)

@omrishavit8843

3 жыл бұрын

I thought the same! And then when he said "boolean equivalence" I felt both stupid/wrong and smart/correct

@gumfun2

3 жыл бұрын

Right. I thought of it as 'if and only if'

Best explanation on the internet

Brilliant presentation. I can see why Gabriel said he spent a long time making it.

I’m a long time software engineer. Have been focusing on functional javascript the last couple years. Have been trying to put my finger on why functional feels so much better than other methods. This video and others like it get at it. Functional programming connects to underlying fundamentals such as the lambda calculus and category theory. Fundamentals which transcend a particular language. Functional programming feels like performed art. It’s satisfying again. Symmetrical, elegant, mathematical. I can tell the presenter *feels* the beauty of the lambda calculus too. Thanks for sharing!

Beautiful talk! I love the way you tie it into javascript, the one functional language that everyone understands!

Thank you for placing the video of the speaker over what he types. It really helps. /s

This just opened a whole new world to my mind. I can't thank you enough for making and posting this. You can't possibly know how deep my thanks are to the presenter, the staff, and all other associated people. Keep doing what your doing, and you'll find someone will change the world because of your work. Thank you, and bless you all.

@rboes208

3 жыл бұрын

This is exactly how I feel as well!

@theblackunderflow1842

3 жыл бұрын

FullStack is amazing man!

On the bit about XOR or equality (@52:35): On booleans, *not*-equal is the same as XOR. We have && and || operators for AND and OR, but nothing for XOR... except you can use != for that. I also thought it was XOR at first, because I noticed the functions behavior was to return either q or !q, depending on p, it's just that XOR returns !q when p is true, and q when p is false, while equality does the opposite.

@mortenkristiansen2905

Жыл бұрын

This is correct and can be verified quickly by a truth table.

38 minutes into the talk and can't resist to appreciate. Very well explained

Great Work. Both the thoughts and the slide deck. Amazing!

Clearly clearest explanation on YT

This probably just saved my midterm grade, 10000x more clear than anything my professor has ever said. Also, this dude looks like the Jeff Winger of logical mathematics

@glebec

Жыл бұрын

Hahah, you are the third person to tell me I look like Joel McHale. I don't really see it but I'll take it. 😂

Such a great explanation of lambda calculus that I was so confused about -- thank you!

Thank you for this talk, insanely good and fun!

Very helpful on my path to understanding functional programming. If you make any more related vid's I'd like to know.

This presentation blew my mind. Awesome stuff!

Mr. Lebec’s talk was excellent. If I had the desire to return to professional programming, I would be knocking at your door.

This guy does everything right. Also love his use of PowerPoint

Thank you so much. This is the best KZread video on the topic. I was lost in the sauce until I watched this

Great video. Easy to understand, the idea to translate lambda into fat arrow functions works perfectly for me... I'm going to spend the rest of the evening playing around with the nodejs prompt. Great video!

Excellet introduction! I knew nothing, (despite watching another video by which I was more confused than enlightened) now things are much clearer, bravo!

Great tutorials on functional programming. Thank you!

thanks so much. for a newbie to understand this, is remarkable on your part.

Thank you so much, I had no luck understanding beta reduction but you made it so clear with such complex example.

This is the most amazing explanation of Lambda Calculus I have come across! Thank You !

Hands down one of the most clear and concise videos I've seen introducing basic concepts of Lambda Calculus. Gabrial's excitement pretty much forced me to crack open a REPL and follow along. I'll now be locked away composing combinators for a very long time. It's also so painfully obvious how this subject can help to write more clean, readable, and declarative code. Great Job on this one. Part two blew my mind! The more I try to "play" with these combinators, the more I see the need for FP data structures. If anyone has any recommendations for similar talks, specifically on Lambda Calc within Javascript, I'd really like to see more on the subject! :D

Very helpful! Thanks for the talk.

Well done - fantastic lecture - best explanation of lambda calculus I came across so far!

You can see his passion. Great work.

This was a really good presentation, informative, easy to listen to and with some humor. You did a really good job at helping me understand this stuff, thanks for that.

This is so engaging! Thank you!

I liked how nicely this video was placed in the left bottom corner so I can't see was the lecturer is typing. Good job!

@glebec

4 жыл бұрын

Sorry about that! I didn't realize the bottom-left corner was going to be such prime real estate. Slides are linked in the description - I know it's not as good as seeing them live in the video, but I hope they help fill in any gaps regardless! :-)

@LyubomyrSemkiv

4 жыл бұрын

@@glebec I managed to guess covered parts :-) Thanks for the video!

I finally get how much you need to know and understand to start contemplating creating a start-up company.

Best video on Lambda Calculus ever. Got to know about the combinatorial logic for the first time so clearly. Thank you. 🙏👍🏽

It is strange how simple concept is it, but yet I could not easily adjust my brain to that level of abstraction.

@glebec

4 жыл бұрын

It honestly took me a lot of reading, thinking, and practicing, and I have a degree in math. But like everything in math, with enough time it becomes much easier. I tried to make it easier than when I learned it! :-)

What an amazing speaker and so much content to revisit. I love this video.

I am impressed. Math is so beatiful! Thanks for an awesome talk.

I'm half way through this, just wanted to praise the speaker and the talk, real quality, perfect for my entry-level FP disposition.

first time in life that i can understand why lambda calculus are so amazing :D congratulations

Mr. Lebec, thank you very much for this material of yours. I will do my best to digest this to the best of my intellectual ability.

The best video on λcalc‼️‼️

That was an amazing talk, thank you!

Amazing! It seems so simple.

so clear explained and slide are just artwork

This is absolutely fascinating. Thanks!

1000x better than university professor's explanation

This is amazingly good. I'm just blown away.

Remarkable, this is the video recommended by my professor

Excellent presentation, Thank you very much

This video is very helpful and understandable!!!Thanks!

Thanks for the great presentation!

Such a clear talk. Thank you.

The prettiest slides I have ever seen. edit: also some of the most engaging math/programming teaching I have ever been privy to!

@glebec

2 жыл бұрын

Thanks!

Loved the presentation. This guy really knows how! :D

@lennyvsguitar

6 жыл бұрын

Florian Wicher I absolutely agree.

Best explanation yet from a high school student perspective thank you :)

I was very skeptical at first but it turned out to be well worth the watch

This is amazing! Thanks!

This is an excellent talk. Thank you so much 😊😊

This is simply beautiful. As beautiful as the concept of Lambda Calculus is, you have done an equally elegant job at explaining it, along with a hint of some JS genius. Thank you!

Amazing talk. Thank you.

Great video, preparation, delivery, ...

This is just beautiful and amazing!

Thank you for this video!

phenomenal lecturer

What a beautiful talk....

Absolutely beautiful 10/10 Would watch it again

Great explanation!

Great and fun explanation, thank you very much

very clear ad thanks for the heads up on 'to mock a mockingbird.' It's on my x-mas list.

It is so hard to teach this subject, excellent job

A bit of trivia about S and K... TL;DR: The type schemas for K and S are T -> U -> T and (T -> U -> V) -> (T -> U) -> T -> V, respectively. These two types, when read as logical formulas and taken as axioms form a basis of the propositional calculus (with -> as the only connector). In more detail: First let us consider B, which is \fgx.f(gx). This is also known as "function composition" - f is called with the result of calling g on x. S is a "stronger" version of B where the outer function (here f) also receives x as an additional argument while also - like B - receiving gx, i.e., the result of applying the second function to that argument. S = \fgx.fx(gx) Now suppose we want to give types (really: type schemas) to K and S. K is easy. If the type of the first argument of K is T and the type of the second argument is U, then the type of the result is again T. Therefore we have: K: T -> U -> T (Side note: the type arrows group to the right, which meshes well with function application grouping to the left. T -> U -> T is really T -> (U -> T).) Before looking at S, let's again look at its simpler cousin B. Here the second argument is a function from some type T to some other type U, which means that the first argument must be a function able to receive an argument of type U while then producing a result of a third type V. The end result is a function from T to V. B: (U -> V) -> (T -> U) -> T -> V The case of S this is very similar, except the first function not only receives U but also a copy of the T argument: S: (T -> U -> V) -> (T -> U) -> T -> V Now look at only the type schemas and forget about the combinators. We have: T -> U -> T (T -> U -> V) -> (T -> U) -> T -> V Further forget that these are types and instead read them as formulas in propositional calculus, reading the function type arrow -> as implication: T -> U -> T means: If we already know T, then anything (call it U) implies that T. (It does not matter what the U is and whether or not it is true.) (T -> U -> V) -> (T -> U) -> T -> V means: Suppose T implies U (that's the second argument or the middle of the formula). Further suppose that when T is true then U implies V. (That's the first argument. Notice that U does not need to unconditionally imply V, it only needs to imply V when T is true.) Then T implies V. It turns out that these two formulas, when taken as logical axioms, form a basis of the propositional calculus (where the only connector is implication). In other words, every tautology in propositional calculus can be proved from just these two axioms. Isn't that neat? Brought to you courtesy of Mr. Curry and Mr. Howard. :) PS: Of course, the same thing works for the types of the combinators of any other basis, including the one consisting of 5 combinators mentioned in the talk. It just means there are also 5 corresponding axioms then.

Thankyou so much for the lecture.

Neat, thank you for your effort.

omg~ to understand this lecture, I study hard english! worth it! Thank you.

I stumbled across this a couple years ago and struggled to find it again for the longest time. I ended up randomly stumbling across To Mock A Mockingbird and managed to find my way back to this again. Genuinely recommend this as the beginning point for lambda calculus/function programming. Does anyone have any recommendations for what to learn after this

A great talk fun and truly informative.

Wonderful talk!!! Many thanks!

@glebec

6 жыл бұрын

Thank you for the kind feedback. Glad you enjoyed it.

An excelent talk!

The enthusiasm is intoxicating.

Excellent indeed, Thank you !

Amazing, you are a great lecturer.

Great talk, thanks!

When I started this video I wasnt expecting it to go that further. I loved it! One of the best videos I've ever watched in this subject!

Doing so much Bizz related stuff over the last couple of years had me down during this pandemic, I felt like there's no science in the day to day computer tech industry, but FP is raising and so is lambda calculus, this talk is a gem got my interest back in the math behind computers and inspired me again, just for the beauty of math itself and the art just like You mentioned. I can't thank You enough. My best wishes in this hard times for everyone, be strong.

The first talk after which I started to understand lambda-calculus

Awesome, thanks a lot. This is a programming 💎

Thank you for making this !!

@glebec

2 жыл бұрын

Thanks for watching!