Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy5 HN recommenders · 2019–2024
227K views · lecture · evergreen · Uploaded 2017-08-25
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.
Repeatedly recommended as one of the most approachable introductions to lambda calculus and combinators.
53:22Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
42:03The Soul of Erlang and Elixir • Sasa Juric • GOTO 2019
GOTO Conferences
1:01:39"Simple Made Easy" - Rich Hickey (2011)
Strange Loop Conference
25:06"Making Impossible States Impossible" by Richard Feldman
elm-conf
![Video frame: William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]](https://i.ytimg.com/vi/OyfBQmvr2Hc/hq2.jpg)
1:31:06William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
PapersWeLove
31:44The Value of Values with Rich Hickey
InfoQ
46:09Why Isn't Functional Programming the Norm? – Richard Feldman
Metosin
1:03:29Maybe Not - Rich Hickey
ClojureTV
5 comments from Hacker News
I suggest you to watch this video if you want to understand how 3 basic functions can be used to create whole language [VIDEO]
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] [VIDEO]
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" [VIDEO]
I would start with lambda calculus. If you pick the right intro video, they'll stray into combinators: [VIDEO] is very good.
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. [VIDEO] [LINK]