1982年那篇论文，操作系统至今没真正学会纯函数式编程

你见过用纯粹函数式语言写的操作系统吗？大多数开发者可能连这个概念都只在课本里瞥过一眼。1982年，Henderson就试着从根上重想这个问题——如果操作系统的每个组件都是无副作用的纯函数，会怎样？四十年过去，这个想法依然没有变成主流现实。这不是因为技术不够，而是因为工业界对稳定、可调试系统的偏好和纯函数式范式之间存在结构性摩擦。每次看到有人拿Haskell或Clojure做系统级尝试，我都觉得这条路值得认真走下去——至少在嵌入式、形式化验证这些场景里，纯函数式操作系统的理论优势是实打实的。

原文：Purely Functional Operating Systems · 来源：Hacker News