编程语言与软件工程2015citeseerx.ist.psu.edu
Oberon——被忽视的珍宝
Oberon – The Overlooked Jewel
入门 · 约 45 分钟读完前置知识：编译器基础、操作系统基础
导读
这篇论文由 Michael Franz 撰写，回顾 Niklaus Wirth 设计的 Oberon 语言与操作系统——一个以极简著称的完整计算系统（语言、编译器、OS 均出自少数人之手）。文章认为 Oberon 是被业界忽视的珍宝，其简洁设计在语言和系统层面都有深远影响。
HN 关注点：HN 读者长期钟爱 Oberon 所代表的极简系统设计哲学，讨论常围绕其历史地位、与 Java/Go/Plan 9 的渊源，以及如何在模拟器中体验它。
HN 评论精选
这几条评论里：支持 1 补充 2 亲历 1
补充介绍作者 Franz 的学术渊源及其被 Java 掩盖的 SDE 研究与深远影响
compulsory 为论文作者 Michael Franz 吹一波：他是 Wirth 的博士生，博士论文研究语义字典编码（SDE）——用类似前缀编码的方式紧凑存储程序语义树，并利用启发式在加载时生成模板化代码片段，减轻代码生成器负担。这项 1994 年发表的工作不幸被 Java 完全掩盖。由于表示更紧凑，在 MacOberon 上某些硬件下，加载并从这种“瘦身二进制”生成代码甚至比直接加载原生二进制更快，因为代码生成速度超过了加载更大二进制的磁盘 IO 开销。Franz 的博士生 Andreas Gal 后来写了 trace trees 论文并用于 JIT 编译 JavaScript，还当过 Mozilla CTO。
vidarh查看英文原文
Compulsory Michael Franz (author of the linked paper) fanboy-ing: Prof Franz did his PhD under Niklaus Wirth. His thesis was on Semantic Dictionary Encoding - a method for storing a compact semantic tree representation of a program in what is effectively a prefix code (e.g. similar to Huffman coding) that it exploits beautifully to both compress the tree and to use heuristics (the same on the encoder and decoder) to generate templated code fragments to allow the code generator on load time to do less work. Published in '94, it unfortunately was totally overshadowed by Java. It's still one of my favorite papers, and one day I still want to go down the route of actually implementing SDE properly (there are implementations for Oberon - one of the early remarkable feats was that because of the more compact representation, on MacOberon it was on some hardware faster to load and generate code from these "slim binaries" than it was to just load a native binary, because the code generator was fast enough to beat the disk IO cost of loading a larger binary...) One of Franz' PhD students was Andreas Gal, who wrote the paper on trace trees and applied it to JIT'ing Javascript, and worked as CTO at Mozilla.
补充补充 Oberon 硬件历史（Ceres/Lilith/Kronos）并推荐作为另类平台入门
给不熟悉该项目的读者补充背景：Oberon 系统最初运行在一台基于 AMD 位片处理器定制设计的工作站 Ceres 上，其前身 Lilith 用于运行 Modula-2 系统，甚至还有苏联的克隆机 Kronos。和 Plan 9 一样，我认为这个项目是深入探索另类计算平台的绝佳起点。
michrassena查看英文原文
For those who are unfamiliar with the project, here are a few small photos of the custom-designed workstation based on an AMD bit-slice processor that the Oberon System ran on originally. http://www.ethistory.ethz.ch/rueckblicke/departemente/dinfk/forschung/weitere_seiten/lilith/index_EN/popupfriendly/ https://en.wikipedia.org/wiki/Ceres_(workstation) Along with its predecessor Lilith, for running a Modula-2 system. There was even a Russian clone of the Lilith called Kronos https://en.wikipedia.org/wiki/Kronos_(computer) Along with Plan 9, I see this project as a starting point for a deep dive into a world of alternative computing platforms. (edited for spelling, bit-slice)
支持推荐《Project Oberon》一书：篇幅短小却含完整源码
《Project Oberon: The Design of an Operating System and Compiler》一书详细讲解了 Oberon 编译器和操作系统的设计，不仅写得清晰透彻，还在不到 550 页里包含了编译器和操作系统的完整源代码。我从这本书里学到了不少有趣的编译器技术。
magoghm查看英文原文
The book "Project Oberon: The Design of an Operating System and Compiler" https://www.amazon.com/Project-Oberon-Design-Operating-Compiler/dp/0201544288/ref=sr_1_1?ie=UTF8&qid=1366902572&sr=8-1&keywords=project+oberon contains a detailed explanation of the design for the Oberon compiler and operating system. Not only it is well written with clear explanations, but it also includes the full source code for the compiler and operating system in less than 550 pages! I learned some interesting compiler techniques from reading that book.
亲历亲历者证实：系统设计简洁到学生一周就能写出文件系统
Oberon 是我学的第一门编程语言，授课老师正是 Jürg Gutknecht 本人。有一周的家庭作业是“写一个自己的文件系统”。起初我觉得在这么短时间内根本不可能完成，但得益于 Oberon 操作系统干净简洁的设计，实际上并没有那么难。
Hermel查看英文原文
Oberon was my first programming language, taught by Jürg Gutknecht himself. One week, our home assignmend was "write your own file system". At first, I thought that would be impossible to do in such a short time. However, it turned out to be not that hard thanks to the clean and simple design of the Oberon operating system.
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2015Hacker News 讨论帖78 分 · 23 评
- 2017Hacker News 讨论帖202 分 · 128 评
同领域还值得读
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 分钟编辑精选