3 ms·
What's a good way for someone without much of a background in maths to start grokking this? I've had had several encounters with the lambda calculus over the ye
by elric 5y ago
What's a good way for someone without much of a background in maths to start grokking this? I've had had several encounters with the lambda calculus over the years (including a coworker who is absolutely in love with it), but it's never really clicked for me in any meaningful way.
- panzerklein 5y agoHere's one great introduction - A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks https://www.youtube.com/watch?v=6BnVo7EHO_8 https://www.youtube.com/watch?v=6BnVo7EHO_8
- jumanjisama 5y agoI have good experience with this book: An Introduction to Functional Programming Through Lambda Calculus https://www.amazon.com/Introduction-Functional-Programming-Calculus-Mathematics/dp/0486478831/ https://www.amazon.com/Introduction-Functional-Programming-C... It starts with the general rules of lambda calculus, then build up some basic functions (like in the PDF linked in this thread) and continues to build data types like Natural Numbers, List, String, Tree and operators for manipulating them. The book also explains about the evaluation methods as well as covering how ML and LISP uses lambda calculus.
- selimthegrim 5y agoThere's an older book by Smullyan - To Mock a Mockingbird but the style is extremely abstract. Edit: I see another commenter has mentioned it as well.