u/oddasatin r/haskell • Recommends
Essentials: Functional Programming's Y Combinator - Computerphile
0:00 / 0:00
#ycombinator#lambdacalculus#recursion
Essentials: Functional Programming's Y Combinator - Computerphile
Computerphile
2.6M subscribers • 66 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Graham Hutton, Professor at the University of Nottingham
Intermediate. Assumes working knowledge.
350K views9 years ago1 recommendation
Computer scienceProgramming languagesFunctional programmingComputation and complexity
Graham Hutton explains how to encode recursion in the lambda calculus using the Y combinator.
Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions. Lambda Calculus: youtu.be/eis11j_iGMs Professor Brailsford on 'Pointers': Coming Soon! Many thanks to Microsoft Research UK for their support with the 'Essentials' mini-series. facebook.com/computerphile twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at bradyharan.comWhy it's here
1 person recommends thisWhat people say. Recommended as an accessible explanation of the Y combinator and lambda calculus.
u/emptyflaskin r/compsci • Mentions
On “Programming in Lambda Calculus”
There's some good stuff on YouTube, like computerphile: link to this video