search

yanamal / lambda-js

my attempt at making sense of lambda calculus
17 stars 3 forks source link

Another person enthusiastic about Lambda Calculus! #2

Open antimeme opened 5 months ago

antimeme commented 5 months ago

Hi! This is not really an issue with your code. I'm reaching out because I've been working on Lambda Calculus and just came across your YouTube video, which led me here. I wonder if we can help each other with this. Somehow when I talk to most people about this topic they don't seem to get excited. :-)

I've built a JavaScript expression library (https://esclat.net/ripple/apps/lambda) and I've made slides for a presentation (https://esclat.net/ripple/slides/lambdacalculus#/). I'd be glad to have any feedback you might have about these. And if there are questions about lambda calculus you have that I might be be able to answer I'd be happy to make an attempt at that.

(And if you're truly bored, maybe you could help me figure out why "FACTORIAL THREE" doesn't seem to terminate. Up to and including two it terminates correctly. Not sure what's going on when we get to three but it seems to go on forever. Frustrating!)

antimeme commented 5 months ago

I figured it out! I was doing substitution incorrectly in a way that only turned up when doing complicated stuff. I can now compute factorial up to five, but since that takes over twenty thousand reductions and over ten minutes I'm happy to leave it at that for now. :-)