编程语言与软件工程2018arxiv.org
自我构建的机器：Lisp 语言的优势（2016）
The Machine That Builds Itself: The Strengths of the Lisp Languages (2016)
进阶 · 约 60 分钟读完前置知识：Lisp/Scheme 基础、宏与元编程、编程语言设计
导读
这篇论文讨论 Lisp 语言家族的优势，可能围绕其可自我构建、元编程与语言设计上的独特能力展开，解释为何 Lisp 对后世语言影响深远。具体论证需以原文为准；HN 评论更多在讨论这种影响力与 Lisp 长期小众、错失主流化之间的反差。
HN 关注点：Lisp 影响力巨大却始终未成为主流语言的历史落差，以及它在语言设计和早期计算中的先驱地位。
HN 评论精选
这几条评论里：支持 1 质疑 1 补充 1 亲历 1
补充Lisp 像 Velvet Underground：影响远大于用户量，但错过了动态语言主流化浪潮，如今创新焦点转向静态类型和类型推断。
关于 Velvet Underground 乐队有种说法：买他们唱片的人不多，但每个买了的人都出去组了自己的乐队。我觉得 Lisp 也类似——影响力远大于名气，每位语言设计者都或多或少受它启发。我确实认为，当 Perl、Python、Ruby 这波动态语言走向主流时，Lisp 有点错过了船。今天语言设计中最激动人心的发展似乎围绕静态类型系统、类型推断等。
olavk查看英文原文
There is a saying about the band Velvet Underground - that not many people bought their records, but everyone who bought one went out and started their own band. I think Lisp is kind of similar - its influence is much larger than its fame, but ever language designer is inspired by it to some extent. I do think Lisp kind of missed the boat when a wave of dynamic languages (Perl, Python, Ruby) went mainstream. Today the most exciting developments in language design seem to be around static type systems, type inference etc.
亲历Lisp 寒冬未随 AI 寒冬结束；SBCL/Clojure 是整合后的赢家，但社区势头不足。
看到 AI 寒冬结束、而差不多同时开始的 Lisp 寒冬却从未结束，真令人难过。也许在语言端整合之后它正在回来：SBCL 和 Clojure 正成为明显赢家，而且相当强大。我肯定不是唯一读了 Paul Graham 文章后开始学 Lisp 的人，我也会因几个原因继续用 Lisp，但势头就是不在了。
daniel-cussen查看英文原文
It's been so sad to see that while the AI winter ended, the Lisp winter that started around the same time never did. Maybe it's coming back after consolidation on the languages end: SBCL and Clojure are coming ahead as clear winners, and are quite powerful. I'm sure I'm not the only guy who started learning Lisp after reading Paul Graham's essays, and I'm going to keep using Lisp for several reasons, but the momentum just isn't there.
质疑Lisp 的工程化、打包和分发体验笨拙，影响面向普通用户交付应用。
我觉得各种 Lisp 变体都很可爱，直到我想打包并发布一个真正的应用给普通用户。那时它们相当笨拙。我发现不少其他更晚流行起来的高级语言也是如此。我一直假设这是因为研究生从没走到真正发布东西那一步。
ectospheno查看英文原文
I find the Lisp variants to be lovely right up until I want to package and ship an actual application to a normal human being. Then they are quite clumsy. I find the same to be true of a number of other more recently popular high level languages. I've always assumed it was because graduate students never got to the point where they ship anything.
支持Lisp 影响深远、Lisp Machines 有先驱地位，但如今极其小众。
LISP 总让我难过。它是所有现代语言都能从中学到很多的语言（现在很多 Lisp 特性正被克隆）。Lisp Machines 基本上开创了今天现代计算机和互联网所做事情的 90%。然而它却是一个非常小众的语言，几乎是时间中被遗忘的遗物。
zaarn查看英文原文
LISP always makes me sad. It's a language from which all modern languages could learn so much (and currently a lot of features of LISP get cloned). LISP Machines pioneered basically 90% of what modern computers and the internet do today. Yet, it's a very niche language, an almost forgotten artifact of time.
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2018Hacker News 讨论帖239 分 · 318 评
同领域还值得读
Google 的软件工程（2017）
Software Engineering at Google (2017)
介绍了 Google 的软件工程实践，包括其单一代码库（monorepo）、几乎全部开发在主干进行而非分支、代码审查、构建系统 Blaze、协议缓冲区等工具与流程，并讨论了频繁重…
编程语言与软件工程2017 · 1,127 分 · 465 评 · 引用 15入门 · 约 45 分钟编辑精选Peter Naur：编程作为理论构建 (1985)
Peter Naur – Programming as Theory Building (1985)
Peter Naur 1985 年的经典论文《Programming as Theory Building》提出：编程的本质不是写代码或文档，而是在程序员头脑中构建对程序及其运行…
编程语言与软件工程2016 · 629 分 · 74 评入门 · 约 45 分钟编辑精选SciPy 1.0：Python 科学计算的基础算法
SciPy 1.0: fundamental algorithms for scientific computing in Python
这篇发表于 Nature Methods 的论文介绍了 SciPy 1.0——Python 科学计算生态的基石库，涵盖其核心算法模块（优化、积分、插值、线性代数等）、软件架构与社…
编程语言与软件工程2020 · 387 分 · 98 评入门 · 约 45 分钟编辑精选Lisp 的历史（1979）
History of Lisp (1979)
这是 Lisp 发明者 John McCarthy 于 1979 年为 HOPL（编程语言史）会议撰写的回顾文章，讲述 Lisp 的起源、设计动机与早期演进，文中也涉及 if 表…
编程语言与软件工程2018 · 352 分 · 44 评入门 · 约 45 分钟编辑精选使用 NumPy 进行数组编程
Array Programming with NumPy
这篇 Nature 文章介绍 NumPy 的数组编程模型及其在科学计算中的核心作用：以 ndarray 为中心，通过向量化操作让 Python 高效处理多维数组。
编程语言与软件工程2020 · 318 分 · 134 评入门 · 约 40 分钟编辑精选