纯函数式操作系统
摘要
本文提供了Peter Henderson 1982年关于纯函数式操作系统的论文扫描版，该论文此前在网上难以获取。
<p><a href="https://lobste.rs/s/jlmeib/purely_functional_operating_systems">评论</a></p>
查看缓存全文
缓存时间: 2026/09/14 00:55
# 纯函数式操作系统（Eighty-Twenty 新闻）
来源：https://eighty-twenty.org/2022/06/23/henderson-functional-operating-systems-1982
Peter Henderson 1982 年的论文《纯函数式操作系统》显然在网上很难找到。几年前，我在攻读博士学位期间，从大学图书馆的纸质副本中扫描了这篇论文。这是我制作的扫描版（https://eighty-twenty.org/files/Henderson%20-%201982%20-%20Purely%20Functional%20Operating%20Systems.pdf）。
> Henderson, Peter. "Purely Functional Operating Systems." In Functional Programming and Its Applications, edited by J. Darlington, P. Henderson, and D. Turner, 177–92. Cambridge University Press, 1982. (https://eighty-twenty.org/files/Henderson%20-%201982%20-%20Purely%20Functional%20Operating%20Systems.pdf)
相似文章
可证明安全操作系统(PSOS)的基础（1979）[pdf]
这篇1979年的学术论文介绍了可证明安全操作系统(PSOS)的基础。
John Backus的函数式编程项目的历史 [草稿]
John Backus的函数式编程语言的历史保存草稿，包含其研究项目的背景和资料。
系统编程入门，第一部分：程序员编写程序（2025）
一篇系统编程入门文章，涵盖诸如位操作、解析、文件系统、系统调用和内存管理等基础知识，面向程序员。
从第一原理看函数式编程，第1部分——动机
本文从第一原理介绍函数式编程，涵盖函数的数学定义及编程语言范式的分类。这是面向命令式编程者系列文章的第一部分。
软件，从基本原理出发
一篇从基本原理出发解释计算和软件基础的文章，旨在为普通读者揭开计算机工作原理的神秘面纱。