4 ms·

I don't actually find this explanation easier to understand... I find "To Dissect A Mockingbird" a more intuitive and simpler explanation of Lambda Calculus. I

I don't actually find this explanation easier to understand... I find "To Dissect A Mockingbird" a more intuitive and simpler explanation of Lambda Calculus. I think the visuals help a lot. http://dkeenan.com/Lambda/ http://dkeenan.com/Lambda/

rbonvall 12y ago
These diagrams are interesting too: http://homepages.cwi.nl/~tromp/cl/diagrams.html http://homepages.cwi.nl/~tromp/cl/diagrams.html There is also Bret Victor's Alligator Eggs game: http://worrydream.com/AlligatorEggs/ http://worrydream.com/AlligatorEggs/ I know about these because I'm currently trying to learn λ-calculus by deriving and implementing functions in CoffeeScript: https://github.com/rbonvall/lambda-coffee/blob/master/lambda.coffee https://github.com/rbonvall/lambda-coffee/blob/master/lambda...