Lambda Calculus Examples (2009) [pdf]

Re:Lambda Calculus Examples (2009) [pdf] by elric on Monday June 28, 2021 @08:18AM (#27660877)

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.

[ Parent | on HN ]

Re:Lambda Calculus Examples (2009) [pdf] by jumanjisama on Monday June 28, 2021 @10:16AM (#27662280)

I have good experience with this book: An Introduction to Functional Programming Through Lambda Calculus 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.

[ Parent | on HN ]

Re:Lambda Calculus Examples (2009) [pdf] by panzerklein on Monday June 28, 2021 @09:08AM (#27661437)

Here'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

[ Parent | on HN ]

Re:Lambda Calculus Examples (2009) [pdf] by selimthegrim on Monday June 28, 2021 @11:03AM (#27662871)

There'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.

[ Parent | on HN ]