4 ms·
Nice summary. I like it. I will bookmark it for future reference as it is more concise than the Wikipedia article that I usually refer to. A quick mention abou
by bbcbasic 10y ago
Nice summary. I like it. I will bookmark it for future reference as it is more concise than the Wikipedia article that I usually refer to.
A quick mention about closures would be a good idea.
I often see the Lambda Calculus introduced with "oh look only 3 constructs and you can do all this stuff..."
However closures are also necessary because if the inner `x` in
\x.(\x.x)
doesn't come from the correct abstraction the whole thing doesn't work.
- martyalain 10y agoThank you :) About closures it can be interesting to know that in lambdatalk lambdas don't create closures, there is not any local environment. Things work because lambdas memorize partial calls and are de facto curried and so closures are not necessary. More explanations in this page: http://epsilonwiki.free.fr/lambdaway/?view=lambdatalk%20three#17 http://epsilonwiki.free.fr/lambdaway/?view=lambdatalk%20thre... . Thanks again