41–43 of 43 posts
Earlier quoted context omitted.
A Lambda machine can be implemented using a Turing machine, but not the other way around, which means, Lambda calculus is a subset. Correct me if I'm wrong.
nope, they're turing equivalent. read up on the church-turing thesis.
I really wish they had added real lambdas. Don't get me wrong, these changes seem good. But every time I hear about a new Python release I keep hoping that I'll see they've finally reversed their policy about lambdas and made a real one instead of the compromise they have right now.
You should be yearning for proper tail recursion instead.