Gabriel Lebec's Fullstack Academy talk introduces lambda calculus syntax, the history of mathematical logic, and the essence of functional programming using JavaScript. It also covers combinators, currying and Church encodings.
Why Hacker News points people here: Repeatedly recommended as one of the most approachable introductions to lambda calculus and combinators.
“they are the most approachable videos on the topic I have ever seen.”HN comment, 2024
Intro to combinators and Church encodings with JavaScript equivalents
Full comment
Just last night I found this excellent introduction to the Lambda Calculus by Gabriel Lebec [1]. It's one of the best I've come across and covers briefly history, building up combinators (using Smullyan's names) leading up to implementing Church encodings and gives Javascript equivalents (or approximations when not possible). The slides themselves are also very aesthetically pleasing, Gabriel has a good sense of colour and design [1] this video
Strongly recommendsautophagianMay 2022
“I adore Gabriel Lebec's talk”
Combinatory logic explained through birds, in JavaScript
Full comment
For anyone interested in the topic (combinatory logic as told through the medium of birds) I adore Gabriel Lebec's talk "A Flock Of Functions: Combinators, Lambda Calculus & Church Encodings in JavaScript" this video
Strongly recommendsZhylJul 2024
“they are the most approachable videos on the topic I have ever seen.”
Approachable videos on combinators and lambda calculus
Full comment
I found these two videos on combinators and lambda calculus recently. They're only tangentially related to Haskell, but they are the most approachable videos on the topic I have ever seen. this videolink
RecommendsayushgpAug 2019
“I suggest you to watch this video if you want to understand how 3 basic functions can be used to create whole language”
Shows how a few basic functions build a whole language
Full comment
I suggest you to watch this video if you want to understand how 3 basic functions can be used to create whole language this video
RecommendszellynFeb 2024
“If you pick the right intro video, they'll stray into combinators”
Good lambda calculus intro that strays into combinators
Full comment
I would start with lambda calculus. If you pick the right intro video, they'll stray into combinators: this video is very good.
