TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Lisp does not equal lambda calculus

2 点作者 TuLithu超过 3 年前

2 条评论

kazinator大约 3 年前
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.
rurban大约 3 年前
But if you forbid setq and setf it is. Just replace assignments with bindings