4 ms·
Hey tromp, do you have any recommendations for grokking Lambda calculus properly? I've read a few tutorials and introductions, and I understand the notions of a
by quibono 2y ago
Hey tromp, do you have any recommendations for grokking Lambda calculus properly?
I've read a few tutorials and introductions, and I understand the notions of alpha- and beta-reductions, abstractions vs application, but I still have issues with practical examples like the above.
Am I missing something here or should I just go back to the basics?
- tromp 2y ago> I still have issues with practical examples like the above. What issues would those be? Do you see that λf.λx.n f(f x)) is the Church numeral n+1 ? I think there's few better ways to grok lambda calculus than working through examples like these step-by-step.
- saberience 2y agoWhat's a church numeral?
- jerf 2y agoHave you tried actually implementing things with it? You're obviously not going to implement a web browser, but basic math, some sort of basic strings, lots of other things with a focus on "basic" because even with functions you're working at an awfully low level here? You can read definitions and commentary on those definitions until the cows come home but until you actually use it you're not going to get it. Like most math.
- louthy 2y agoFor a visual representation, the classic "To Dissect a Mockingbird" is always good: https://dkeenan.com/Lambda/ https://dkeenan.com/Lambda/