TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Lisp does not equal lambda calculus

2 pointsby TuLithuover 3 years ago

2 comments

kazinatorover 3 years ago
Lisp isn&#x27;t lambda calculus for the main reason that lambda calculus doesn&#x27;t have conses, lists, or symbols. It cannot quote a part of itself such that the quoted part becomes data operated on by lambda calculus.<p>Lisp is useful even when it wrongly implements lambda calculus, with all bindings being dynamically scoped so that it only relates to lambda calculus via the naming of the <i>lambda</i> symbol.
rurbanover 3 years ago
But if you forbid setq and setf it is. Just replace assignments with bindings