https://index.zshipu.com/geek001/tags/%E7%BA%AF%E5%87%BD%E6%95%B0%E5%BC%8F/ Recent content in 纯函数式 on 知识铺的博客 Hugo -- gohugo.io zh-CN Mon, 14 Sep 2026 00:00:00 +0000 https://index.zshipu.com/geek001/post/20260914/Purely-Functional-Operating-SystemsHenderson-1982%E5%B9%B4%E8%AE%BA%E6%96%87%E7%9A%84%E5%BD%93%E4%BB%A3%E5%9B%9E%E5%93%8D/ Mon, 14 Sep 2026 00:00:00 +0000 https://index.zshipu.com/geek001/post/20260914/Purely-Functional-Operating-SystemsHenderson-1982%E5%B9%B4%E8%AE%BA%E6%96%87%E7%9A%84%E5%BD%93%E4%BB%A3%E5%9B%9E%E5%93%8D/ Purely Functional Operating Systems：Henderson 1982年论文的当代回响 eighty-twenty.org/2022/06/23/henderson-functional-operating-systems-1982 这篇题为Purely Functional Operating Systems的文章，链接指向Henderson 1982年的工作，并在Lobsters上附有评论入口。该信号直接以标题点明主题，成为讨论起点。 Henderson 1982年论文的URL标识 信号URL slug中