3 ms·
Learnt functional programming and lambda calculus under Raul Rojas, happy to see he's mentioned here. He taught us the evaluation step as a vacuum cleaner sucki
by platzhirsch 8y ago
Learnt functional programming and lambda calculus under Raul Rojas, happy to see he's mentioned here. He taught us the evaluation step as a vacuum cleaner sucking in the variables.
- martyalain 8y agoI began to understand lambda-calculus with this introduction from Raoul Rojas. But I was lost when he explains recursion via the Y-combinator. In fact I think that recursion is best understood when lambdas are introduced to bring a bit of lazyness in an by default eager evaluation. The (if bool one two) control structure is not so easy to understand under the cap.