Lisp：关于它的过去和未来 (1980)

Lisp：关于它的过去和未来 (1980)
Lisp: Notes on its Past and Future (1980)

原始链接: https://www-formal.stanford.edu/jmc/lisp20th/lisp20th.html

在1980年的论文中，约翰·麦卡锡反思了LISP持久的成功——当时已有21年历史——认为这归功于它是一种实用但并不完美的编程语言。他认为LISP已经达到了“近似局部最优解”，但需要改进，特别是消除积累的低效之处，并关注长期被忽视的改进。麦卡锡强调了协作维护的必要性，尤其是在构建共享程序库方面。他还强调了正式验证LISP程序正确性的新兴潜力，这得益于计算机校验证明的进步。然而，实现这一潜力需要进一步的理论发展和对语言的微小调整，以便更好地利用LISP强大的数学基础。值得注意的是，麦卡锡在1999年的一份笔记中确认，他的观点在很大程度上没有改变，表明1980年提出的观点对于LISP的演进仍然具有相关性。

## Lisp 的过去与未来：黑客新闻讨论总结最近一篇 1980 年关于 Lisp 的文章引发了 Hacker News 的讨论，探讨了 Lisp 尽管具有优势，但为何未能获得主流普及。评论者认为，现代语言已经采用了函数式编程特性，降低了切换的需求，并且 Lisp 的强大特性（如 S 表达式）被其他语言更强大的生态系统和库所抵消。对话强调了 Common Lisp (CL) 和 Clojure 的持续活力，分享了 CL 开发资源，并提到了 Clojure 即将推出的原生 LLVM 实现 ("Jank")。一个关键点是 Clojure 独特的开发者体验——通过 REPL 实现快速迭代，与 Rust 更复杂的借用检查器形成对比。许多人同意 Lisp 和 Rust 解决了类似的问题（避免共享可变状态），但权衡不同：Clojure 通过不可变性优先考虑简洁性，而 Rust 通过复杂的所有权系统提供性能。有些人甚至认为，McCarthy 在 1980 年预测的声明式编程取代传统编码正在随着 LLM 的兴起而实现。最终，讨论强调了 Lisp 持续的力量和小众吸引力，同时也承认了它在更广泛应用方面面临的挑战。

原文

LISP-NOTES ON ITS PAST AND FUTURE-1980

Next: Introduction

John McCarthy
Computer Science Department
Stanford University
Stanford, CA 94305
[email protected]
http://www-formal.stanford.edu/jmc/

JanFebMarAprMayJun JulAugSepOctNovDec , :< 10 0

Abstract:

LISP has survived for 21 years because it is an approximate local optimum in the space of programming languages. However, it has accumulated some barnacles that should be scraped off, and some long-standing opportunities for improvement have been neglected. It would benefit from some co-operative maintenance especially in creating and maintaining program libraries. Computer checked proofs of program correctness are now possible for pure LISP and some extensions, but more theory and some smoothing of the language itself are required before we can take full advantage of LISP's mathematical basis.

1999 note: This article was included in the 1980 Lisp conference held at Stanford. Since it almost entirely corresponds to my present opinions, I should have asked to have it reprinted in the 1998 Lisp users conference proceedings at which I gave a talk with the same title.

John McCarthy
Mon Mar 22 17:10:06 PST 1999

Lisp：关于它的过去和未来 (1980) Lisp: Notes on its Past and Future (1980)

Abstract:

Lisp：关于它的过去和未来 (1980)
Lisp: Notes on its Past and Future (1980)