编程语言与软件工程2017dreamsongs.com编辑精选
Lisp 的演化（1993）
The Evolution of Lisp (1993)
进阶 · 约 180 分钟读完前置知识：Lisp 基础、编程语言史、编译器/解释器基础
导读
这篇 1993 年的 HOPL-II 论文梳理 Lisp 的演化历史，回顾各分支与实现的设计选择及其历史背景。文中还讨论了 PDP-10 的终结/局限如何促使 continuations 等概念发展，属于对 Lisp 发展脉络的历史性总结。
HN 关注点：Lisp 的历史与设计取舍，讨论焦点包括宏与 fexpr、Common Lisp 生态现状，以及该 PDF 内含 JavaScript 的安全风险。
HN 评论精选
这几条评论里：支持 1 补充 3
补充警告该 PDF 含可疑 JavaScript，建议转换后再打开。
这看起来像是一个攻击文件：有 34 个对象包含 JavaScript 代码。建议用 pdftops 处理！
googoo00查看英文原文
This appears to be an attack file. Objects with Javascript code (34): [10, 16, 18, 22, 26, 30, 38, 44, 50, 56, 64, 70, 88, 94, 98, 120, 126, 132, 136, 138, 144, 161, 165, 167, 169, 174, 176, 180, 182, 184, 192, 214, 221, 225] Recommend pdftops!
补充列举 Common Lisp 生态的改进与资源，回应常见批评。
帮你重温 Common Lisp：awesome-cl 里的库可能比你想的多。最近一些常见抱怨也已被解决：环境难搭有 Portacle、Lem、Atom；网站难看有 common-lisp.net 和 lisp-lang.org；缺跨平台 GUI 有 iup（alpha）、Qtools、Ltk；缺面向对象/泛型数学/相等运算符有 generic-cl；缺数值计算有 numcl；Quicklisp 发布等一个月太久有 Ultralisp；缺在线新手文档有 CL Cookbook。
vindarel查看英文原文
To refresh your ideas on CL (I know I needed it): https://github.com/CodyReichert/awesome-cl There may be more libraries than you think. Also recently some usual complaints have been fixed: - hard to set up environment ? -> http://portacle.github.io/ There's also Lem, and Atom is getting good. https://lispcookbook.github.io/cl-cookbook/editor-support.html - horrible website ? http://common-lisp.net/ (they fixed it last year) Also http://lisp-lang.org/ - no cross-platform, featureful GUI library ? -> https://github.com/lispnik/iup/ (alpha) There's also Qtools for Qt4. And Ltk, but Tk lacks widgets. - no object-oriented, generic math or equality operators ? -> https://github.com/alex-gutev/generic-cl/ - no decent library for numerical computing ? -> https://github.com/numcl/numcl - waiting one month to publish your library into Quicklisp is too much ? -> http://ultralisp.org/ - lack of online beginner friendly documentation ? -> https://lispcookbook.github.io/cl-cookbook/
补充讨论 fexpr 与宏的设计取舍，并看好 Racket/Chez 的性能前景。
我一直觉得 Lisp 用宏取代 fexpr 很可惜。一个标榜同像性和一等函数的语言，宏却不是一等公民，这很奇怪。据我理解 fexpr 相对宏有性能问题，但不确定原因或后来是否改进。Shen 是 Lisp 演化中有趣的分支，但许可证糟糕，难普及；kernel Lisp 理念好但实际难。跨 Python/CL/JS/JVM 等运行时的性能取舍不清楚；JVM 成功是因为统一语言和实现。Racket 是明显选择，Racket on Chez 若性能接近原生二进制就补齐最后一块。
mruts查看英文原文
I’ve always thought it unfortunate that fexprs were dropped for macros in lisp. For a language that touts homoiconicity and first class functions/objects, it feels strange that macros aren’t first class. My understanding is that fexprs have some perfomance problems over macros, but I’m not really sure why or if the state of the art has advanced since then. A really interesting evolution of lisp is Shen. The license is terrible and I seriously doubt it will ever achieve widespread use. And while the idea of a kernel lisp sounds great, in practice I doubt that it actually works. The performance trade-offs that you’re going to need to make become very unclear when you have a language that can run on A python, CL, js, or whatever runtime. The JVM is successful because it unifies language and implementation, instead of fragmenting it further like Shen does. Racket is the clear horse to pick in this race, I think. Hopefully Racket on Chez will improve the performance to close to that of native binaries. If so, I really think that it would be the last piece of the puzzle.
支持指出论文关于 PDP-10 约束催生 continuations 等创新的历史洞见。
第 23 页附近有一段很好的讨论：PDP-10 的终结/局限如何引发创新爆发，包括 continuations 的发展（1993 年时仍不熟悉，需用简单语言解释）。
gumby查看英文原文
Nice discussion starting around page 23 discussing how the end of / limitations of the PDP-10 led to an explosion of innovation including the development of continuations (still so unfamiliar back in 1993 that they had to be explained in simple language).
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2017Hacker News 讨论帖103 分 · 17 评
- 2019Hacker News 讨论帖91 分 · 39 评
同领域还值得读
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 分钟编辑精选