1982年有人就想用纯函数写操作系统了

你有没有想过，操作系统能不能被写成纯粹的功能性程序？四十年前，John Henderson 已经这么干了。他的论文《Purely Functional Operating Systems》提出：把系统调用、内存管理、进程调度全部建模为纯函数——没有副作用，没有全局状态，每次操作都是输入到输出的确定性映射。当时学界对函数式编程的狂热远不及今天对 Rust 或 WebAssembly 的追捧，但 Henderson 试图回答一个根本问题：操作系统的本质，是否只是一种状态转换机？我的判断是，那篇文章与其说是工程蓝图，不如说是一次思想实验——它证明了纯函数范式可以覆盖到系统层，也暴露了纯函数范式在并发和 I/O 面前的巨大代价。四十年过去，我们在函数式语言、不可变数据结构上走了很远，但还没有一台纯函数操作系统真正跑起来。这说明什么？也许操作系统天然需要副作用，也许只是我们还没找到正确的抽象层级。 ===BODY===

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