代码格式化之争 40 年前已解决:Ada 用 DIANA 中间表示取代源码存储
maxleiter · x · 2026-09-09
开发者 Max Leiter 重发旧文并感慨:一年过去,他更确信「代码格式化本不应存在」。文章源自他高中老师 Mr. Paige——1980 年代起参与 Ada 编译器开发的资深工程师。
- 历史方案:当年的 Rational R1000 工作站(美国国防部使用的 Ada 机器)根本不存储文本源码,而是存储名为 DIANA 的中间表示(IR)。
- 投影式编辑:编译器和内置 IDE 都理解 DIANA,每个人可以按自己喜欢的排版方式查看代码,空格 vs 制表符之争毫无意义;编辑器直接操作程序树,即今天所说的 projectional editing。
- 对照当下:R1000 还内置增量编译、语义分析、版本控制和一等调试器,作者借此吐槽 2025 年团队仍在为 linter 配置争论。
核心论点:格式化问题的正解不是更好的 formatter,而是不把纯文本当作源码的唯一形态。
「编程与Agent」频道最新
- Ramp 推出 AI 语义层：把 agent 花费追踪到真实业务 ROI — floguo · 2026-09-09
- 资深 AI 工程师总结：以失败检测为核心的 6 层生产级 Agent 架构 — MaryamMiradi · 2026-09-09
- CMU 开设 AI Agents 新课 11-768,全部课程视频免费公开 — CharlotteHase · 2026-09-09
- Reddit 热议：Agent Token 开销怎么省，自建 API 路由成共识 — onetwothreefish · 2026-09-09
- Fable 5.1 搭 Astra 用 Three.js 搭出 3D 动物园，全程仅靠提示词 — Silver-Chipmunk7744 · 2026-09-09
- 500 家公司数据揭示 AI 代码质量悖论：可维护性升 3.8%，变更信心降 6.1% — rseroter · 2026-09-09