编程与软件工程justine.lol
436 字节实现的带垃圾回收的 Lisp
Show HN: Lisp with GC in 436 Bytes
2021 — 2024，它一次次回到首页
黑点是上首页（≥ 50 分）的那次投稿，空心点是没冲上去的投稿，点越大分数越高。
导读
这是 Justine Tunney 的 SectorLISP 2：一个用 x86 汇编手写的 Lisp 解释器，整个程序只有 436 字节，小到可以塞进一个 512 字节的引导扇区里运行。它最特别的地方是带垃圾回收——作者用一个约 40 字节汇编实现的 "ABC" 回收器，靠语言保证数据结构无环来做到零内存开销、即时回收和完美的堆整理。
为什么经久不衰：把解释器、运行时和 GC 压进几百字节的引导扇区，是对「最小可行系统」的极限演示，十几年后读来依然让人重新思考抽象与开销的代价。
HN 评论精选
读者对作者本人及其其他项目（APE）的高度认可。
每次看到这个域名，我就知道有好东西看了。我猜作者叫 Justine，是个非常厉害的程序员。我相当确定 Actually Portable Executables 也是这位作者的作品，那同样非常有意思。
jjice查看英文原文
Everytime I see this domain I know I'm in for a treat. I assume the Dev's name is Justine, and they're one hell of a programmer. Pretty sure Actually Portable Executables are from this dev as well, which are also incredibly interesting.
质疑「无环保证」在一般函数式语言（如 Haskell 的 letrec）中是否成立。
非常震撼。文中说 SectorLISP 使用所谓的 ABC 垃圾回收器，只花了 40 字节汇编……只要语言保证数据结构无环，快速即时、零内存开销且完美堆整理的 GC 就像 ABC 一样简单。很巧妙，但据我理解，即便是纯函数式语言通常也做不到这个保证，因为 letrec 之类的东西会让事情复杂化。如果 SectorLISP 能采用这种方法，Haskell 为什么不行？（或者说它其实也行？）
MaxBarraclough查看英文原文
Very impressive. > SectorLISP uses what we call an ABC garbage collector and it took only 40 bytes of assembly. > [...] > Fast immediate garbage collection with zero memory overhead and perfect heap defragmentation is as easy as ABC when your language guarantees data structures are acyclic. Neat, but my understanding was that even pure functional languages can't generally make this guarantee, because things like letrec complicate matters. If SectorLISP can take this approach, why doesn't Haskell? (Or does it?)
感慨汇编写解释器是失传技艺，并呼吁延续。
这项目太棒了！用汇编写解释器几乎是一门失传的手艺，这也是我用汇编写了一个 Wasm 解释器的部分原因。希望它不会真的成为失传的手艺。
titzer查看英文原文
This is such an awesome project! Writing interpreters in assembly is something of a lost art. That's part of the reason I wrote a Wasm interpreter in asm. I hope this does not stay a lost art.
历次讨论
同类还值得读
开源应用架构
The Architecture of Open Source Applications
《开源软件架构》（AOSA）是一本在线免费书，邀请知名开源项目的作者亲自剖析其内部设计，涵盖 SQLAlchemy、LLVM、Audacity、Apache、Bash 等系统。
编程与软件工程上首页 9 次 · 2011–2024aosabook.org编辑精选编程语言简史：简短、不完整且多半错误
A Brief, Incomplete, and Mostly Wrong History of Programming Languages
一篇以戏谑、故意不准确的方式回顾编程语言史的博客文章，用夸张轶事和讽刺定义串起 Lisp、C、C++、Java、JavaScript、PHP 等语言。
编程与软件工程上首页 8 次 · 2009–2021james-iry.blogspot.comSQLite 是如何测试的
How SQLite is tested
SQLite 官方文档页，系统介绍 SQLite 的测试体系：多种测试方法（TCL 测试、模糊测试、回归测试、静态分析等）和海量测试用例，展示了这个小型开源项目如何靠极致测试获得…
编程与软件工程上首页 8 次 · 2009–2025sqlite.org编辑精选高级编程语言（2009）
Advanced programming languages (2009)
Matt Might 的经典文章，按用途推荐“高级编程语言”：如果追求就业就选主流语言，如果追求表达力、学术研究或创业，则推荐 Haskell、OCaml、Scala 等函数式语…
编程与软件工程上首页 8 次 · 2009–2022matt.might.net我的 Forth 与栈机器经历
Yosefk - My history with Forth & stack machines
作者以亲身经历回顾了使用 Forth 语言和栈式机器的历程：既赞叹其简洁优雅、代码量小、可自举的优点，也坦率指出栈操作在实际编程中的痛苦，以及 Forth 社区文化中的问题。
编程与软件工程上首页 8 次 · 2010–2024yosefk.com编辑精选