这篇文章是约翰·麦卡锡在1980年对LISP语言过去与未来的思考。他指出LISP能存在21年是因为其近似最优的编程语言特性，但也存在需要改进的地方，如清除冗余功能、加强程序库建设等。文章还提到LISP在程序正确性验证方面的潜力，认为需要进一步发展理论来充分发挥其数学基础优势。

LISP语言的过去与未来——1980年回顾

作者信息：
约翰·麦卡锡（John McCarthy）
斯坦福大学计算机科学系
加州斯坦福 94305
邮箱：jmc@cs.stanford.edu
个人主页：http://www-formal.stanford.edu/jmc/

摘要：
LISP语言历经21年发展仍保持生命力，因其在编程语言领域中达到了近似局部最优状态。然而，该语言仍存在一些需要剔除的历史包袱，同时长期存在的改进机会尚未得到充分重视。通过协作维护（尤其是程序库的创建与维护）将使其受益。目前，纯LISP及其部分扩展已能实现计算机验证的程序正确性证明，但需进一步完善理论并优化语言本身，才能充分发挥LISP数学基础的优势。

1999年附注：
本文原载于1980年斯坦福LISP会议论文集。由于文中的观点至今仍基本代表我的立场，本应申请将其重刊于1998年LISP用户会议论文集——我在该会议上以相同标题作了演讲。

文章结构： 1. 引言
2. LISP的生存之道
3. 改进方向
4. LISP程序的正确性证明
5. 未解之谜与其他议题
6. 参考文献

（文档最后更新于1999年3月22日）

（注：原文中的导航图标、日期格式等非核心内容已精简，重点保留了作者的核心观点与文章框架）

以下是评论内容的总结：

1. Clojure与Rust的对比

   • 观点：Clojure能以更简单的方式解决Rust处理的问题
   • 引用：
     "Clojure solves the same problems Rust solves in a much simpler way"
     "I'm a fan of Clojure author Rich Hickey's 'Simple Made Easy' talk"

2. LISP的未来发展

   • 观点：McCarthy预言更高层次的声明式语言可能取代LISP，类似今天的LLM和智能编程
   • 引用：
     "a higher level language than LISP might have such a large declarative component"
     "basically describing todays LLMs and agentic coding"

3. 函数式语言的普及挑战

   • 观点：程序员更容易理解过程式语言，导致Lisp及其衍生语言流行度受限
   • 引用：
     "most grok procedural ones easier than functional ones"
     "Lisp and its derivatives have struggled in popularity for decades"

4. LISP社区动态

   • 观点：Common Lisp生态系统仍在活跃发展
   • 引用：
     "here's an overview of the last two years"
     "very cool new projects appeared in 2025"

5. 其他相关讨论

   • 包括对John McCarthy的口述历史视频的推荐
   • 个人使用Common Lisp的分享："I was hacking common lisp this weekend"